diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-09-04 21:17:12 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-09-04 21:17:12 +0200 |
| commit | 8c71db0234142c3b45352773ab98e68b0bc7ad11 (patch) | |
| tree | f6fe5ed2fb54d37cb3d4ff53b152859a1b43e3e5 /doc/intro.texi | |
| parent | 04420adfbae0e37207700ebe0aca01f92012adcf (diff) | |
| download | geiser-8c71db0234142c3b45352773ab98e68b0bc7ad11.tar.gz geiser-8c71db0234142c3b45352773ab98e68b0bc7ad11.tar.bz2 | |
REPL: (optionally) forget old errors on new expressions
Diffstat (limited to 'doc/intro.texi')
0 files changed, 0 insertions, 0 deletions