diff options
author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-06-05 19:49:27 +0200 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-06-05 19:49:27 +0200 |
commit | 61f151adac04acc2fffab75f7564a390f6bf39d6 (patch) | |
tree | 2f2958542d7dc93daa7acd6eb6ea0ad65ecf8ea1 /html-test/ref/TypeFamilies2.html | |
parent | c4f6201356b29023ecbd2f7bf1c91e5318586765 (diff) |
Clear up highlighting of identifiers with ‘'’s.
Diffstat (limited to 'html-test/ref/TypeFamilies2.html')
0 files changed, 0 insertions, 0 deletions