diff options
| author | hallgren <hallgren@chalmers.se> | 2015-08-18 13:13:31 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-08-18 13:13:31 +0000 |
| commit | 41075fb50a846ef0ae9851b99a3468bc0e405988 (patch) | |
| tree | 92ac4a600a899227f1f064ab1bd45e5d1f06016d /src/runtime/javascript/translator.js | |
| parent | 17e7a01ae1ab33158273f7370251185b430b41cd (diff) | |
GF shell: restore the eh command to working order and document it
Also, when the command line parser fails, append the problematic command line
to the error message "command not parsed".
Diffstat (limited to 'src/runtime/javascript/translator.js')
0 files changed, 0 insertions, 0 deletions