diff options
author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-02 13:31:05 +0200 |
---|---|---|
committer | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-02 13:31:05 +0200 |
commit | 28e93ceec440d0d1ed053bbf3c20e4bdcd6d5f4e (patch) | |
tree | 2490debca28600f3eb51f14b7ecead0862fcdd87 /html-test/ref/mini_TH2.html | |
parent | 5c01af0e605c2bd16382cbd0de7102f1fbc2f361 (diff) |
Improve support for hyperlinking type families.
Diffstat (limited to 'html-test/ref/mini_TH2.html')
0 files changed, 0 insertions, 0 deletions