diff options
| author | krasimir <krasimir@chalmers.se> | 2011-03-08 12:32:51 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2011-03-08 12:32:51 +0000 |
| commit | 18519c20fdad76ebd8e36fce44a644042a4333eb (patch) | |
| tree | a8eed1ce4f937f5bad5a42c0add7554bf6d61d4b /src/server/Setup.hs | |
| parent | 42ad2d5e95f1433d4878bb40d449efaedf841c6f (diff) | |
fix the grammar browser in the editor
Diffstat (limited to 'src/server/Setup.hs')
0 files changed, 0 insertions, 0 deletions