UserPreferences.st
changeset 14258 16fae47e7fb9
parent 14252 c6034c343ebb
child 14267 fe9b75cfa30f
--- a/UserPreferences.st	Thu Jul 26 16:34:24 2012 +0200
+++ b/UserPreferences.st	Thu Jul 26 16:37:44 2012 +0200
@@ -3991,11 +3991,11 @@
 !UserPreferences class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.310 2012-07-26 13:08:43 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.311 2012-07-26 14:37:44 cg Exp $'
 !
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.310 2012-07-26 13:08:43 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.311 2012-07-26 14:37:44 cg Exp $'
 !
 
 version_SVN