diff options
| author | hallgren <hallgren@chalmers.se> | 2011-07-07 13:30:56 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-07-07 13:30:56 +0000 |
| commit | c7fffd861b4fa74afc450be2970cd8cf63f64a88 (patch) | |
| tree | 4a38edebc5b6027bd8f4737e833c117af7cb85c2 /src/runtime/javascript/grammar.js | |
| parent | f224ead86b266c3c6c01a68c592ea589b0eba1bd (diff) | |
gfse: grammars in the cloud, work in progress
Cloud merging: when sharing grammars between two devices that previously each
had separate grammar directoies on the server, clean up one of the directories
and make it a symbolic link to the other.
Diffstat (limited to 'src/runtime/javascript/grammar.js')
0 files changed, 0 insertions, 0 deletions