diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2016-06-12 00:54:54 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2016-06-12 00:54:54 +0200 |
| commit | 8d0f6534babe0978ff8cd7c844b0850005749a49 (patch) | |
| tree | 765428bf0d38862444e70cac7fc93b6423f978fb /doc/top.texi | |
| parent | f6845c2be79f8287efdc1729e5482f57185010f6 (diff) | |
| download | geiser-8d0f6534babe0978ff8cd7c844b0850005749a49.tar.gz geiser-8d0f6534babe0978ff8cd7c844b0850005749a49.tar.bz2 | |
Registering *global* font-lock keywords in REPLs at the right time
We were adding only the scheme-specific ones.
Diffstat (limited to 'doc/top.texi')
0 files changed, 0 insertions, 0 deletions