diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-08-19 07:54:58 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-08-19 07:54:58 +0200 |
| commit | 05ed9a6c1e422761692ca77be3c703f941dc5d5a (patch) | |
| tree | 9c91312207ef20191f2d583bbf39d71d5fb49c5d /.gitignore | |
| parent | 203b248cd24a86934fb61183d44b16ceb82eef3b (diff) | |
| download | geiser-05ed9a6c1e422761692ca77be3c703f941dc5d5a.tar.gz geiser-05ed9a6c1e422761692ca77be3c703f941dc5d5a.tar.bz2 | |
Redisplaying the prompt after empty lines on the REPL.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions