diff options
| author | aarne <aarne@chalmers.se> | 2017-02-24 20:50:36 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2017-02-24 20:50:36 +0000 |
| commit | 34627e742793d6e2cea114b8fe4cf7cb9df9a85f (patch) | |
| tree | c1f4266879ee1ad648d45f5177db2d03cd54ef7a /src/runtime/javascript/editor.html | |
| parent | ae512e09e0ea8e260145be3c74c40853dfc71219 (diff) | |
corrected fg generation for lexical categories, to avoid a type error in generated code
Diffstat (limited to 'src/runtime/javascript/editor.html')
0 files changed, 0 insertions, 0 deletions