diff options
| author | James C. De Ricco <jamescdericco@gmail.com> | 2017-03-22 13:01:39 -0400 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2017-03-26 04:56:18 +0200 |
| commit | fbd43f29691b3a3055413e69141061d7aaecca2a (patch) | |
| tree | da2c60ffd45c9897e4b8d42e4a9d47c032f32332 /.gitignore | |
| parent | c5e141e892a9b4b4a339ee647f355fd025c9f9ab (diff) | |
| download | geiser-fbd43f29691b3a3055413e69141061d7aaecca2a.tar.gz geiser-fbd43f29691b3a3055413e69141061d7aaecca2a.tar.bz2 | |
repl.texi: Put @altr on its own line so "Other" is not omitted
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions