diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2019-05-15 01:27:41 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2019-05-15 01:27:41 +0100 |
| commit | a30d7dd09c5c96d31e8df749e51cdfc2c346445a (patch) | |
| tree | cefe5ca2e76ea94f81a78f94f02173eedfbf23e4 /doc/img/repl-menu.png | |
| parent | 32f90158347e77aaceb80f79e80e58614ccfd018 (diff) | |
| download | geiser-a30d7dd09c5c96d31e8df749e51cdfc2c346445a.tar.gz geiser-a30d7dd09c5c96d31e8df749e51cdfc2c346445a.tar.bz2 | |
Alias for font-lock-ensure (should fix #274)
Diffstat (limited to 'doc/img/repl-menu.png')
0 files changed, 0 insertions, 0 deletions