JavaVMData.st
branchdevelopment
changeset 2069 75d40b7b986f
parent 2057 4c8ec3832206
child 2380 9195eccdcbd9
--- a/JavaVMData.st	Wed Feb 13 20:31:46 2013 +0000
+++ b/JavaVMData.st	Thu Feb 14 16:15:31 2013 +0000
@@ -84,6 +84,10 @@
 
 !JavaVMData class methodsFor:'documentation'!
 
+version_CVS
+    ^ '$Header$'
+!
+
 version_HG
 
     ^ '$Changeset: <not expanded> $'