summaryrefslogtreecommitdiff
path: root/doc/refman/RefMan-ind.tex
diff options
context:
space:
mode:
Diffstat (limited to 'doc/refman/RefMan-ind.tex')
-rw-r--r--doc/refman/RefMan-ind.tex1
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/refman/RefMan-ind.tex b/doc/refman/RefMan-ind.tex
index af4257ca..95944240 100644
--- a/doc/refman/RefMan-ind.tex
+++ b/doc/refman/RefMan-ind.tex
@@ -508,4 +508,3 @@ Check tree_forest_mutind.
%\end{document}
-% $Id: RefMan-ind.tex 10421 2008-01-05 14:06:51Z herbelin $