Raise the version number

dyemanov · dyemanov · commit 0e2a93428ffb · 2025-08-04T11:06:14.000+03:00
diff --git a/src/misc/writeBuildNum.sh b/src/misc/writeBuildNum.sh
@@ -8,7 +8,7 @@ BuildVersion="$Id: writeBuildNum.sh,v 1.28732 2010/05/29 13:12:08 fsg Exp $"
 BuildType=V
 MajorVer=3
 MinorVer=0
-RevNo=13
+RevNo=14
 BuildNum=33823
 
 NowAt=`pwd`
