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 | ba3fb44c64eac29fd0b322fb811f1983eaacf796 (patch) | |
| tree | b6758bd2af27006402be4b756612f04d41777928 /doc/thanks.texi | |
| parent | 209110b1852fec5260e95deb9a47208c67927e2f (diff) | |
| download | geiser-guile-ba3fb44c64eac29fd0b322fb811f1983eaacf796.tar.gz geiser-guile-ba3fb44c64eac29fd0b322fb811f1983eaacf796.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/thanks.texi')
0 files changed, 0 insertions, 0 deletions