[project @ 2005-03-22 00:34:22 by karl] new
diff --git a/doc/version.texi b/doc/version.texi line changes: +4/-0 index 0000000..edce3b4 --- /dev/null +++ b/doc/version.texi
@@ -0,0 +1,4 @@ +@set UPDATED 21 March 2005 +@set UPDATED-MONTH March 2005 +@set EDITION 2.1.2 +@set VERSION 2.1.2