diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-03-04 22:53:28 +0100 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-03-04 22:53:28 +0100 |
| commit | 2bfce24e72cfa7a339b485980925839f769e5224 (patch) | |
| tree | fb87f706f495a0a35a1999dadbf3e37ccd676cc6 /COPYING.JIGS | |
| parent | 6a4a13ab9957b22853f617d08c109ef2b647515e (diff) | |
Introduce functions to disable the reader syntax extensions.
darcs-hash:bc88fd5b88bc84ccf83caff109762f2813a9b53d
Diffstat (limited to 'COPYING.JIGS')
0 files changed, 0 insertions, 0 deletions