diff options
| author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-29 15:39:09 +0800 |
|---|---|---|
| committer | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-29 15:39:09 +0800 |
| commit | b94ab9034367f51b978904d60f2604db10abbd9f (patch) | |
| tree | f7bebc14edfffd5dd640b065dd64d02443819408 /latex-test/src/Simple/Simple.hs | |
| parent | 1a9dcfef033dd66514015d4a942ba67d21f95482 (diff) | |
For pattern synonyms, render "pattern" as a keyword
Diffstat (limited to 'latex-test/src/Simple/Simple.hs')
0 files changed, 0 insertions, 0 deletions