diff options
| author | hallgren <hallgren@chalmers.se> | 2012-06-21 14:14:36 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-06-21 14:14:36 +0000 |
| commit | 6e2c7623fd1cfc9b48fa98759583e7d0d3374d59 (patch) | |
| tree | debf67c26d5d15af29a9be28c62bc3aa3d14db1b /src/runtime/javascript/grammar.js | |
| parent | 5a8c8de789908bc1a7e4e5b3c647386e028c0972 (diff) | |
translator: insert and delete segments
You can now insert new segments anywhere, now just at the end.
You can now delete any segment, not just the last one.
Diffstat (limited to 'src/runtime/javascript/grammar.js')
0 files changed, 0 insertions, 0 deletions