repl.texi: Put @altr on its own line so "Other" is not omitted
commitb75e0376942c1ee54f7d173362d4a38e665342f9
authorJames C. De Ricco <jamescdericco@gmail.com>
Wed, 22 Mar 2017 17:01:39 +0000 (22 13:01 -0400)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Sun, 26 Mar 2017 02:56:18 +0000 (26 04:56 +0200)
tree884aba2f491b16be9cea58eba4f9a34e1a4cc5ae
parentd6548ed7d1f44f3addd5cea98a63209bc51f454f
repl.texi: Put @altr on its own line so "Other" is not omitted
doc/repl.texi