diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-01-23 20:12:16 +0100 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-01-23 20:12:16 +0100 |
commit | 42afea9f3c60485947696929b68017f7a4706614 (patch) | |
tree | 6b759f3c22e04ffbb27a41753165d115bc206c73 /doc/geiser.texi | |
parent | ed75b2ba044ab1361a37f3c7440f34332fb603d9 (diff) | |
download | geiser-42afea9f3c60485947696929b68017f7a4706614.tar.gz geiser-42afea9f3c60485947696929b68017f7a4706614.tar.bz2 |
geiser-repl--tab -> geiser-repl-tab-dwim
Following a suggestion by M. Harig, and following the policy that it's
better for command names to not be doubly hyphenated.
Diffstat (limited to 'doc/geiser.texi')
0 files changed, 0 insertions, 0 deletions