diff options
| author | krasimir <krasimir@chalmers.se> | 2009-05-14 20:12:41 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-05-14 20:12:41 +0000 |
| commit | c307fd50c09924ff659b752868b4b82122d294b4 (patch) | |
| tree | 79b1d413beccefd5af3e665da818ea093b030526 /src/GF | |
| parent | 2c68b1ba883b3c8b3384375d0caebe0fa48e5ba6 (diff) | |
added command rgl-none in Setup.hs
Diffstat (limited to 'src/GF')
0 files changed, 0 insertions, 0 deletions