diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-14 13:49:10 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-14 13:49:10 +0000 |
| commit | 595a69ba0c7898450fc87e1ab9adbf484d3ba7fd (patch) | |
| tree | 4e2354d84ee5406952de882b1227c6b7939b35af /src/compiler/GFServer.hs | |
| parent | 5c52eaf0b71fce381d363edca776ac07269f0a69 (diff) | |
GF usage message fixes
Change the command name from gfc to gf in the usage message header.
Correct spelling of "overide" to "override" in -gf-lib-path description.
Diffstat (limited to 'src/compiler/GFServer.hs')
0 files changed, 0 insertions, 0 deletions
