diff options
| author | hallgren <hallgren@chalmers.se> | 2011-07-26 15:03:33 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-07-26 15:03:33 +0000 |
| commit | 9d547fbdca865785d23c1211610391d39464d507 (patch) | |
| tree | 5ea057b7f8354482160b67561cbecea242481295 /src/runtime/javascript/editorGrammar.js | |
| parent | 0f7743992b1816ba0bddffe4c7c122469c47e32b (diff) | |
gfse: about: added a note that each grammar has a unique identity independent of its name
Diffstat (limited to 'src/runtime/javascript/editorGrammar.js')
0 files changed, 0 insertions, 0 deletions