Tools__NamespaceList.st
branchjv
changeset 12314 0cbf76168690
parent 12308 5d9291c0fc27
child 12431 9f0c59c742d5
--- a/Tools__NamespaceList.st	Thu Dec 13 14:31:51 2012 +0000
+++ b/Tools__NamespaceList.st	Mon Jan 14 11:48:37 2013 +0000
@@ -565,5 +565,5 @@
 !
 
 version_SVN
-    ^ '$Id: Tools__NamespaceList.st 8074 2012-11-30 17:23:39Z vranyj1 $'
+    ^ '$Id: Tools__NamespaceList.st 8083 2013-01-14 11:48:37Z vranyj1 $'
 ! !