Update version info, leave some stuff out of repo

2026-09-29 00:33:59 -06:00 · 2022-01-04 23:15:09 -08:00
parent 861e68e477
commit bf3619f270
4 changed files with 23 additions and 15 deletions
@@ -32,6 +32,9 @@ Subversion revsion numbers vs. versions:
 * r317 v6.1
 * r313 v6.0

+(But these revision numbers aren't immediately accessible, if at all,
+since moving to git.)
+
 SEE ALSO
 --------