diff options
| author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-29 15:39:09 +0800 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-12-12 07:36:18 +0000 |
| commit | 3fd4c8c0b1be302d209e580d7190aef7c923a2ee (patch) | |
| tree | 414a4e5fdf0dcaf1eb9642931687572e3e17fa70 /html-test/ref/TypeFamilies2.html | |
| parent | 0573481fd4ed19ce72e23d631a7e8e3d0e4cb288 (diff) | |
For pattern synonyms, render "pattern" as a keyword
Diffstat (limited to 'html-test/ref/TypeFamilies2.html')
0 files changed, 0 insertions, 0 deletions