Rocco Rutte:

[apps/madmutt.git] / doc / manual.txt

diff --git a/doc/manual.txt b/doc/manual.txt
index 21cbd6f..51caaf0 100644 (file)
--- a/doc/manual.txt
+++ b/doc/manual.txt
@@ -3,7 +3,7 @@
 
                         by Michael Elkins <me@cs.hmc.edu> and others.
 
-                                     version devel-r371
+                                     version devel-r372
 
                                           A\bAb\bbs\bst\btr\bra\bac\bct\bt