diff options
| author | aarne <aarne@chalmers.se> | 2010-04-04 20:46:36 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-04-04 20:46:36 +0000 |
| commit | 7a14507189f6af11a841aea0c9b39491417315f2 (patch) | |
| tree | 252a5445f45375653ffac3d20ef0eddefaf17352 /src/runtime/javascript/minibar | |
| parent | 95d4adac99421bddf3a2a3a84739902a1e2ce105 (diff) | |
in the shell, permit 3-letter lang codes as concrete syntax names
Diffstat (limited to 'src/runtime/javascript/minibar')
0 files changed, 0 insertions, 0 deletions