diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2019-02-08 05:30:25 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2019-02-08 05:30:25 +0000 |
| commit | 03ded92c39303e94377ea15eb75092d66fd8da1a (patch) | |
| tree | 11997b87b6ef802fddf35ce5407610fd120e9bd5 /doc/parens.texi | |
| parent | 420bb7ef53418717b3cac97ade9663f03009e6a9 (diff) | |
| download | geiser-03ded92c39303e94377ea15eb75092d66fd8da1a.tar.gz geiser-03ded92c39303e94377ea15eb75092d66fd8da1a.tar.bz2 | |
Fix: off-by-one while fontifying REPL's output
Diffstat (limited to 'doc/parens.texi')
0 files changed, 0 insertions, 0 deletions