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