UserPreferences.st
branchjv
changeset 17780 b6e42c92eba0
parent 17771 d6d2b68253cf
child 17784 a617fb53fc72
--- a/UserPreferences.st	Mon Jul 12 06:58:22 2010 +0100
+++ b/UserPreferences.st	Mon Jul 12 17:20:36 2010 +0100
@@ -3268,7 +3268,7 @@
 !UserPreferences class methodsFor:'documentation'!
 
 version
-    ^ '$Id: UserPreferences.st 10533 2010-07-01 16:54:44Z vranyj1 $'
+    ^ '$Id: UserPreferences.st 10544 2010-07-12 16:20:36Z vranyj1 $'
 !
 
 version_CVS
@@ -3276,5 +3276,6 @@
 !
 
 version_SVN
-    ^ '$Id: UserPreferences.st 10533 2010-07-01 16:54:44Z vranyj1 $'
+    ^ '$Id: UserPreferences.st 10544 2010-07-12 16:20:36Z vranyj1 $'
 ! !
+