diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-19 10:24:02 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-19 10:24:02 +0000 |
| commit | 884747508ecdaf307a941e1932a0939c232c6c8f (patch) | |
| tree | 1e0ae6c4186f18acec32ffcc705bc1e0c15d5cf2 /src/GF/Command/TreeOperations.hs | |
| parent | e363c4005836964a49d686176751d0247d3a33b3 (diff) | |
better error message for the ai command
Diffstat (limited to 'src/GF/Command/TreeOperations.hs')
0 files changed, 0 insertions, 0 deletions