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 | 0a3d6ca624332470f406e579f3ed5912169273ea (patch) | |
| tree | e612dc8fc59203d045b613bf6776b4e5e9f50d56 /doc/web.texi | |
| parent | 94210cde9788f9ae677767a531f96a873f5feaf0 (diff) | |
| download | geiser-guile-0a3d6ca624332470f406e579f3ed5912169273ea.tar.gz geiser-guile-0a3d6ca624332470f406e579f3ed5912169273ea.tar.bz2 | |
Real fix fontification on scheme switch
Diffstat (limited to 'doc/web.texi')
0 files changed, 0 insertions, 0 deletions