diff options
| author | krasimir <krasimir@chalmers.se> | 2009-02-01 12:24:37 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-02-01 12:24:37 +0000 |
| commit | 75829ceab3eb58b5c702e275b364f901b3b8f947 (patch) | |
| tree | ef8bb65109aa58c0fbb2c868ae49a7a2d191b9e0 /src/GF/Compile/ReadFiles.hs | |
| parent | 95e8142e1a30a4836548dcffb9868848d2b71559 (diff) | |
the new pretty printer is now used for all -dump-* options. added -dump-source. implemented -dump-opt
Diffstat (limited to 'src/GF/Compile/ReadFiles.hs')
0 files changed, 0 insertions, 0 deletions