*** empty log message ***

[splint.git] / src / lastversion

diff --git a/src/lastversion b/src/lastversion
index 0f498735497885925d3481374c08fc9070484c2e..e183fe879e260c61a960cd4ae2c7dfd3926bb065 100644 (file)
--- a/src/lastversion
+++ b/src/lastversion
@@ -1 +1 @@
-2.5q
+3.0.0.8