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 | b75e0376942c1ee54f7d173362d4a38e665342f9 (patch) | |
tree | 884aba2f491b16be9cea58eba4f9a34e1a4cc5ae /INSTALL | |
parent | d6548ed7d1f44f3addd5cea98a63209bc51f454f (diff) | |
download | geiser-guile-b75e0376942c1ee54f7d173362d4a38e665342f9.tar.gz geiser-guile-b75e0376942c1ee54f7d173362d4a38e665342f9.tar.bz2 |
repl.texi: Put @altr on its own line so "Other" is not omitted
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions