diff options
| author | Florian Jung <flo@thinkpad.(none)> | 2011-01-10 17:57:36 +0100 |
|---|---|---|
| committer | Florian Jung <flo@thinkpad.(none)> | 2011-01-10 18:01:25 +0100 |
| commit | b34cab5dd6d4ac16a6a58589397a3d82df38b826 (patch) | |
| tree | c76bde00d0ee62d3701aacbedde55ea0f3d287bc /note_compiler/templates/head.2 | |
| parent | 4b87549a645fd62107ddc5295a5027b2a5851096 (diff) | |
Implemented a yet very basic in-synth-interface
The interface understands "quit" and "exit", and accepts but ignores
"reload" and "load". It catches CTRL+C.
Diffstat (limited to 'note_compiler/templates/head.2')
0 files changed, 0 insertions, 0 deletions