diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-09-17 19:06:12 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-09-17 19:06:12 +0200 |
| commit | f1b78bfbe1960af9378187cff4c3e8e0e25dcd97 (patch) | |
| tree | 6824247431c6c84e7251e2014388f085e78069b6 /doc/repl.texi | |
| parent | 5334b5c3ec6792c8be57211119f2a312a958cab9 (diff) | |
| download | geiser-f1b78bfbe1960af9378187cff4c3e8e0e25dcd97.tar.gz geiser-f1b78bfbe1960af9378187cff4c3e8e0e25dcd97.tar.bz2 | |
Docs: it's package-install, not install-package
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions