diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2016-06-12 18:32:48 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2016-06-12 18:32:48 +0200 |
| commit | e33305afaef53e296cbcf468dafec460f3661793 (patch) | |
| tree | 39511085271c318bebc9dd79dc43a5b22b98facf /doc | |
| parent | bb990e11cd91956d10d156982d29cec50fee75bf (diff) | |
| download | geiser-e33305afaef53e296cbcf468dafec460f3661793.tar.gz geiser-e33305afaef53e296cbcf468dafec460f3661793.tar.bz2 | |
Real fix fontification on scheme switch
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions