diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-15 18:21:05 +0200 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:30 +0100 |
| commit | 0a02b70bea9781e4c1d03e88bcfe404934e4e2c6 (patch) | |
| tree | 979899f807999e3c5283cc02b7bd5b52802e4759 /html-test/ref/mini_Ticket75.html | |
| parent | 05f35d7defbf702e27211628e26a738fa97ecde8 (diff) | |
Move dummy post-family instances for `DocName` to `Types` module.
Diffstat (limited to 'html-test/ref/mini_Ticket75.html')
0 files changed, 0 insertions, 0 deletions