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