git diff -F 0.30 ;: would have helped...

diff --git a/manpages.mdwn b/manpages.mdwn
index e9aa5e5307ac0de75711be417e8521a91ff3d2c9..1269dae7c6c0aad93942cdccd7edd9dcba108371 100644 (file)
--- a/manpages.mdwn
+++ b/manpages.mdwn
@@ -24,4 +24,4 @@ The manual pages are licensed under
 [the GNU General Public License](https://www.gnu.org/licenses/gpl.txt),
 either version 3.0 or at your option any later version.
 
-<h2>0.30</h2>
+<h2>0.31</h2>