summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJames C. De Ricco <jamescdericco@gmail.com>2017-03-22 13:01:39 -0400
committerJose Antonio Ortega Ruiz <jao@gnu.org>2017-03-26 04:56:18 +0200
commitfbd43f29691b3a3055413e69141061d7aaecca2a (patch)
treeda2c60ffd45c9897e4b8d42e4a9d47c032f32332 /.gitignore
parentc5e141e892a9b4b4a339ee647f355fd025c9f9ab (diff)
downloadgeiser-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