diff options
author | Ćukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-08-05 21:08:42 +0200 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:33 +0100 |
commit | 25ea9a3a8fab29490d0957f3b4e55e03458183d2 (patch) | |
tree | 98acef33f208d1dda1f706e68e3d010482b59669 /html-test/ref/mini_Bug3.html | |
parent | a24cc753ab35af1b2abfb523a835624484cf71d1 (diff) |
Add examples with type operators to the instances test case.
Diffstat (limited to 'html-test/ref/mini_Bug3.html')
0 files changed, 0 insertions, 0 deletions