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 /doc/intro.texi | |
| 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 'doc/intro.texi')
0 files changed, 0 insertions, 0 deletions