diff options
| author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-01-09 01:42:55 -0600 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2014-01-19 15:35:16 -0600 |
| commit | 7c905816eb12981840efe4136989799db437f357 (patch) | |
| tree | 254618be017084ab4a1a61e499aae85ff4479b11 /doc/fptools.css | |
| parent | 764a6b85b686dee3d93e130bd650ee33a985aca2 (diff) | |
Support for -XPatternSynonyms
Signed-off-by: Austin Seipp <austin@well-typed.com>
Diffstat (limited to 'doc/fptools.css')
0 files changed, 0 insertions, 0 deletions