Removed the unused data type environmentTable.

[splint.git] / src / lastversion

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