branch | jv |
changeset 17911 | a99f15c5efa5 |
parent 17910 | 8d796ca8bd1d |
child 17912 | 80eb31a5a622 |
17910:8d796ca8bd1d | 17911:a99f15c5efa5 |
---|---|
3750 version_CVS |
3750 version_CVS |
3751 ^ 'Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.295 2012/01/18 09:59:52 cg Exp ' |
3751 ^ 'Header: /cvs/stx/stx/libbasic/UserPreferences.st,v 1.295 2012/01/18 09:59:52 cg Exp ' |
3752 ! |
3752 ! |
3753 |
3753 |
3754 version_SVN |
3754 version_SVN |
3755 ^ '$Id: UserPreferences.st 10758 2012-01-19 10:06:02Z vranyj1 $' |
3755 ^ '$Id: UserPreferences.st 10761 2012-01-19 11:46:00Z vranyj1 $' |
3756 ! ! |
3756 ! ! |
3757 |
3757 |
3758 |
3758 |
3759 |