*** empty log message ***

[splint.git] / src / lastversion

diff --git a/src/lastversion b/src/lastversion
index b335e441579c96cf5b2b154ec1f13d3024f43d39..a0a3a4c65078bbbb3e0a30b3dc63240113e3834d 100644 (file)
--- a/src/lastversion
+++ b/src/lastversion
@@ -1 +1 @@
-2.5m
+3.0.0.10