diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-08-31 21:30:46 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-08-31 21:30:46 +0200 |
| commit | ce9edd46388e9b5eb2b5f77a4e04517fa8eef33b (patch) | |
| tree | 33e2e0017b268fe078ba67d6ec268673ac927eff /doc/repl.texi | |
| parent | bd4e541c13836fbf7cabf1da26b97abff4160a8a (diff) | |
| download | geiser-ce9edd46388e9b5eb2b5f77a4e04517fa8eef33b.tar.gz geiser-ce9edd46388e9b5eb2b5f77a4e04517fa8eef33b.tar.bz2 | |
Correctly deactivating autodoc when leaving geiser-mode
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions