diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2019-10-12 22:17:54 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2019-10-12 22:17:54 +0100 |
| commit | 846b23d70c47b2d7b48000f2f2455ffd48405c33 (patch) | |
| tree | 0ece6c23f92a1926decdd687298183be3af572b6 /doc/web.texi | |
| parent | f76340bd11dc6eb5cf6c22cb5f39e76d52b15d66 (diff) | |
| download | geiser-guile-846b23d70c47b2d7b48000f2f2455ffd48405c33.tar.gz geiser-guile-846b23d70c47b2d7b48000f2f2455ffd48405c33.tar.bz2 | |
Missing require (fixes issue #285)
Seems we forgot a require while adding a new defcustom in geiser-log.
Diffstat (limited to 'doc/web.texi')
0 files changed, 0 insertions, 0 deletions