diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-29 15:25:02 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-29 15:25:02 +0200 |
| commit | 6eccf7716be251d9c5fb4e2457ae77f278af19f1 (patch) | |
| tree | e58cd437ad67dca529b2f624dadee892c3dcdcd2 /doc/index.texi | |
| parent | 31b0547f7a37272c3a9bc111d6954e9859ed69ab (diff) | |
| download | geiser-chez-6eccf7716be251d9c5fb4e2457ae77f278af19f1.tar.gz geiser-chez-6eccf7716be251d9c5fb4e2457ae77f278af19f1.tar.bz2 | |
Web pages sync'd
Diffstat (limited to 'doc/index.texi')
| -rw-r--r-- | doc/index.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/index.texi b/doc/index.texi index 35adb93..5252ec2 100644 --- a/doc/index.texi +++ b/doc/index.texi @@ -1,4 +1,4 @@ -@c This is part of Geiser's user manual., , The REPL, Top +@c This is part of Geiser's user manual., , Fun between the parens, Top @c Copyright (C) 2010 Jose Antonio Ortega Ruiz @c See the file geiser.texi for copying conditions. |