diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-03-01 01:00:20 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-03-01 01:00:20 +0100 |
| commit | 007f18d2a76e15f64ceacbb94f5280cdd29266e7 (patch) | |
| tree | ed7858b71b32b2e09de3ebb66b09df7b3bba7fec /.gitignore | |
| parent | a4805ebb7e61118626bbe12cafaa117353e43feb (diff) | |
| download | geiser-007f18d2a76e15f64ceacbb94f5280cdd29266e7.tar.gz geiser-007f18d2a76e15f64ceacbb94f5280cdd29266e7.tar.bz2 | |
REPL: customizable auto-indenting of new lines.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions