diff options
author | John Gilmore <gnu@cygnus> | 1991-11-22 01:16:44 +0000 |
---|---|---|
committer | John Gilmore <gnu@cygnus> | 1991-11-22 01:16:44 +0000 |
commit | 82f0459e2c7d63dd7f008af42516c53458da5adf (patch) | |
tree | 286e0e18cceb4e3c398ef3636955da92e8724b45 /readline/doc | |
parent | 320cd423172dc5b2596e0d2a7893406cfd8bd214 (diff) | |
download | gdb-82f0459e2c7d63dd7f008af42516c53458da5adf.zip gdb-82f0459e2c7d63dd7f008af42516c53458da5adf.tar.gz gdb-82f0459e2c7d63dd7f008af42516c53458da5adf.tar.bz2 |
Add inc-hist.texi
Diffstat (limited to 'readline/doc')
-rw-r--r-- | readline/doc/.Sanitize | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/readline/doc/.Sanitize b/readline/doc/.Sanitize index d73bf6c..29b2fa5 100644 --- a/readline/doc/.Sanitize +++ b/readline/doc/.Sanitize @@ -29,6 +29,7 @@ Makefile hist.texinfo hstech.texinfo hsuser.texinfo +inc-hist.texi rlman.texinfo rltech.texinfo rluser.texinfo |