diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-03-27 15:45:52 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-03-27 15:45:52 +0100 |
| commit | d66a492dca82ad4b99be9f5cb90dd306de8fe08e (patch) | |
| tree | c509174b8ac85e35d74f0da8749ed08b8e15c9b1 /doc/site.conf | |
| parent | 08eaf0df622530a05b2ffdb859c8a62a5ace3cd5 (diff) | |
| download | geiser-d66a492dca82ad4b99be9f5cb90dd306de8fe08e.tar.gz geiser-d66a492dca82ad4b99be9f5cb90dd306de8fe08e.tar.bz2 | |
Automatically pop-up dbg buffer if there's any output during evaluation.
Diffstat (limited to 'doc/site.conf')
0 files changed, 0 insertions, 0 deletions