diff options
| author | hallgren <hallgren@chalmers.se> | 2011-06-08 15:29:50 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-06-08 15:29:50 +0000 |
| commit | 25ae9b2dc4d2a2a5bd2e1920e1ee82dfbef4162e (patch) | |
| tree | dda562ccde336a8a624a19f7aae42a4f4705f30e /src/editor/simple/P | |
| parent | 25a9efb13c05bc806dff8d23c6be97013aa981ea (diff) | |
gfse: initial support for grammars in the cloud
This lets the user access the same set of grammars from multiple devices.
Sharing grammars between multiple users is possible but discouraged at the
moment. There is no version handling, so concurrent editing of the same grammar
by different users might result in one user overwriting changes made by
another user. (The same goes for cuncurrent editing on multiple devices by
a single user, of course.)
Diffstat (limited to 'src/editor/simple/P')
| -rw-r--r-- | src/editor/simple/P/1306856253_weather_06.png | bin | 0 -> 2311 bytes |
| -rw-r--r-- | src/editor/simple/P/1307545089_weather_04.png | bin | 0 -> 2376 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/src/editor/simple/P/1306856253_weather_06.png b/src/editor/simple/P/1306856253_weather_06.png Binary files differnew file mode 100644 index 000000000..3f01afcaa --- /dev/null +++ b/src/editor/simple/P/1306856253_weather_06.png diff --git a/src/editor/simple/P/1307545089_weather_04.png b/src/editor/simple/P/1307545089_weather_04.png Binary files differnew file mode 100644 index 000000000..8a7f1e3ae --- /dev/null +++ b/src/editor/simple/P/1307545089_weather_04.png |
