diff options
author | 2015-04-02 17:52:20 +0000 | |
---|---|---|
committer | 2015-04-02 17:52:20 +0000 | |
commit | 203baa7b7b7f377dee040ed8d905550bec971901 (patch) | |
tree | 27e1b7a903b09e9920586f4a0d3605680c5281e2 /lego/example2.l | |
parent | fa7ef80e7d9bf4a4058b74dbde0b58c5ba94cf70 (diff) |
Highlighting stuff in goals mode (C-c C-a C-h). Very basic for now.
Diffstat (limited to 'lego/example2.l')
0 files changed, 0 insertions, 0 deletions