--- a/UserPreferences.st	Thu Nov 01 15:21:06 2012 +0100
+++ b/UserPreferences.st	Thu Nov 01 15:22:04 2012 +0100
@@ -4110,11 +4110,11 @@
 !UserPreferences class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.318 2012-11-01 14:21:06 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.319 2012-11-01 14:22:04 cg Exp $'
 !
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.318 2012-11-01 14:21:06 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.319 2012-11-01 14:22:04 cg Exp $'
 !
 
 version_SVN