diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2014-03-07 13:25:02 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2014-03-07 13:25:02 +0100 |
| commit | 121434ea1e956f8abab688a472f2a9c5524e934b (patch) | |
| tree | 9cb61d20b2fe58ef08bd8f1449644679cda60b31 /doc/repl.texi | |
| parent | 90bb87cf31a3f22d3485aec2b6d182db672937e9 (diff) | |
| download | geiser-121434ea1e956f8abab688a472f2a9c5524e934b.tar.gz geiser-121434ea1e956f8abab688a472f2a9c5524e934b.tar.bz2 | |
Fontify when too (thanks to Diogo)
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions