diff options
| author | hallgren <hallgren@chalmers.se> | 2013-08-19 15:00:55 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-08-19 15:00:55 +0000 |
| commit | 2aa14bfef8a69145deaef28be7458cf8a3d73dbd (patch) | |
| tree | 0cc6acf961bd2ef0da7261a0203a2744c6f8350f /Setup.hs | |
| parent | 029f1d40e5bd98a01d30ee9583c25cedd2dc61c1 (diff) | |
gfse: only try to upload/compile grammars when browser is online
Show error message "Offline" if browser is offline.
Diffstat (limited to 'Setup.hs')
0 files changed, 0 insertions, 0 deletions