UserPreferences.st
branchjv
changeset 17932 77b60f3b449a
parent 17928 8e8dad2e6269
child 17944 084a2c804b87
--- a/UserPreferences.st	Wed Mar 28 01:53:20 2012 +0100
+++ b/UserPreferences.st	Thu Mar 29 15:24:59 2012 +0100
@@ -3965,5 +3965,5 @@
 !
 
 version_SVN
-    ^ '$ Id: UserPreferences.st 10648 2011-06-23 15:55:10Z vranyj1  $'
+    ^ '$Id: UserPreferences.st 10796 2012-03-29 14:24:59Z vranyj1 $'
 ! !