diff options
author | Niklas Haas <git@nand.wakku.to> | 2014-02-15 08:41:40 +0100 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-02-15 21:56:18 +0000 |
commit | 6b35adfb811d9e41e5bfa1c11963e441740c2836 (patch) | |
tree | dc17a12c75235eb42ad9505176aa1b5097a7ede4 /latex-test/ref/Simple | |
parent | 50d1d18cc70cf6c8ffcf247743cd8af0ff9aae16 (diff) |
Add test case for inter-module type/data family instances
These should show up in every place where the class is visible, and
indeed they do right now.
Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Diffstat (limited to 'latex-test/ref/Simple')
0 files changed, 0 insertions, 0 deletions