tools/JavaMapInspectorView.st
branchdevelopment
changeset 1879 7d232ff32dde
parent 1818 2e5ed72e7dfd
child 2069 75d40b7b986f
--- a/tools/JavaMapInspectorView.st	Sat Dec 15 16:40:31 2012 +0100
+++ b/tools/JavaMapInspectorView.st	Sat Dec 15 17:55:14 2012 +0100
@@ -129,6 +129,11 @@
 
 !JavaMapInspectorView class methodsFor:'documentation'!
 
+version_HG
+
+    ^ '$Changeset: <not expanded> $'
+!
+
 version_SVN
-    ^ '$Id$'
+    ^ '§Id§'
 ! !