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/repls.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/repls.png')
0 files changed, 0 insertions, 0 deletions