diff options
author | Chong Yidong <cyd@stupidchicken.com> | 2009-04-10 04:57:29 +0000 |
---|---|---|
committer | Chong Yidong <cyd@stupidchicken.com> | 2009-04-10 04:57:29 +0000 |
commit | 6f8617a86153f69bd1fbfc6f1e59f4270315ebac (patch) | |
tree | c6ccad0f662ae86be5620cf3cc758f856ffcdb6f /admin | |
parent | f147ff752148a9ed53dc1ac5077497f49fa3e53b (diff) |
Checked searching.texi and syntax.texi.
Diffstat (limited to 'admin')
-rw-r--r-- | admin/FOR-RELEASE | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE index dc2f0b55672..cf07d8c8ead 100644 --- a/admin/FOR-RELEASE +++ b/admin/FOR-RELEASE @@ -209,12 +209,12 @@ objects.texi -- cyd os.texi positions.texi -- cyd processes.texi -searching.texi +searching.texi -- cyd sequences.texi -- cyd streams.texi -- cyd strings.texi -- cyd symbols.texi -- cyd -syntax.texi +syntax.texi -- cyd text.texi -- cyd tips.texi variables.texi -- cyd |