diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-05 03:15:15 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-05 03:15:15 +0100 |
| commit | b420c68157f3fb000be1cd6d20bb016d0f369aa1 (patch) | |
| tree | 1aee6d368d5864a4e205cf054ae7214a87b32b7d /doc/web.texi | |
| parent | d27e2f151dde318731616d585e83ae8d5cea5ad6 (diff) | |
| download | geiser-b420c68157f3fb000be1cd6d20bb016d0f369aa1.tar.gz geiser-b420c68157f3fb000be1cd6d20bb016d0f369aa1.tar.bz2 | |
Documentation tweaking
Diffstat (limited to 'doc/web.texi')
| -rw-r--r-- | doc/web.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/web.texi b/doc/web.texi index 99f5165..19633c1 100644 --- a/doc/web.texi +++ b/doc/web.texi @@ -12,7 +12,7 @@ * Introduction:: * Installation:: * The REPL:: -* Fun between the parens:: +* Between the parens:: * Cheat sheet:: * No hacker is an island:: * Index:: |