diff options
| author | Chong Yidong <[email protected]> | 2009-04-10 04:57:29 +0000 |
|---|---|---|
| committer | Chong Yidong <[email protected]> | 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 dc2f0b5567..cf07d8c8ea 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 |