UserPreferences.st
Wed, 17 Jun 2015 09:39:41 +0200 Stefan Vogel class: UserPreferences
Sat, 30 May 2015 06:36:31 +0200 Merge Script Merge jv
Fri, 29 May 2015 13:38:19 +0200 Claus Gittinger class: UserPreferences
Thu, 23 Apr 2015 08:04:13 +0100 Jan Vrany Merge jv
Wed, 22 Apr 2015 14:24:40 +0200 Claus Gittinger avoid another message send
Wed, 01 Apr 2015 10:20:10 +0100 Jan Vrany Merged cb7a12afe736 and 86dd565344f0 (branch default - CVS HEAD) jv
Sun, 02 Feb 2014 14:16:24 +0000 Jan Vrany Merged bf7f37b63ea2 and 80810829f468 (branch default - CVS HEAD) jv
Tue, 17 Dec 2013 20:21:42 +0100 Jan Vrany Merged 0d7ac9096619 and c3c4112651c4 (branch default - CVS HEAD) jv
Mon, 25 Nov 2013 10:37:44 +0000 Jan Vrany Merged 48ba10eeb21c and 3c118b86a6db (branch default - CVS HEAD) jv
Tue, 01 Oct 2013 14:38:05 +0100 Jan Vrany Make default color for selected variable a yellow... jv
Fri, 27 Sep 2013 23:47:30 +0100 Jan Vrany Merged 52f3ca7a321f and 90d541e96217 (branch default - CVS HEAD) jv
Thu, 19 Sep 2013 10:18:18 +0100 Jan Vrany Merged 698883672d5c and c63aea2dcfe5 (branch default - CVS HEAD) jv
Wed, 04 Sep 2013 09:43:51 +0100 Jan Vrany Merged 4174aa84a870 and c1fa82fb9e66 (branch default - CVS HEAD) jv
Wed, 28 Aug 2013 10:47:51 +0100 Jan Vrany Merged a947150ba171 and ecc817f379ba (branch default - CVS HEAD) jv
Thu, 08 Aug 2013 11:09:31 +0100 Jan Vrany Merged 7b5afc0ad3d5 and 7da6f15bd81c (branch default - CVS HEAD) jv
Thu, 25 Jul 2013 13:04:52 +0100 Jan Vrany Merged 5844a3bcdd52 and 874e9186efeb (branch default - CVS HEAD) jv
Mon, 01 Jul 2013 22:14:20 +0100 Jan Vrany Merged ca546dabc513 and 2d6de3f90129 (branch default - CVS HEAD) jv
Mon, 24 Jun 2013 12:21:20 +0100 Jan Vrany Merged 27352a7171ab and e48b0b48d81e (branch default - CVS HEAD) jv
Tue, 04 Jun 2013 16:43:16 +0100 Jan Vrany Merged 014678b4657a and 2a8cb0d549fe (branch default - CVS HEAD) jv
Fri, 26 Apr 2013 15:26:55 +0100 Jan Vrany Merged e0683b878c4c and 138990e03967 (branch default - CVS HEAD) jv
Thu, 25 Apr 2013 10:49:32 +0100 Jan Vrany Merged d140d3ff68c5 and df8a9794fd74 (branch default - CVS HEAD) jv
Fri, 22 Mar 2013 09:18:54 +0000 Jan Vrany Merged c90d8fdd805d and 5fe8a9868547 (branch default - CVS HEAD) jv
Thu, 07 Feb 2013 09:53:25 +0100 Jan Vrany Merged 036717d61eda and dbcf4ab2af2e (branch default - CVS HEAD) jv
Tue, 05 Feb 2013 14:51:41 +0100 Jan Vrany Merged 6d357f1b3d7 and 2bad9feb8593 (branch default - CVS HEAD) jv
Sun, 03 Feb 2013 22:15:59 +0000 Jan Vrany Merged f23232c2eaef and 8cfc4b736331 (branch default - CVS HEAD) jv
Thu, 31 Jan 2013 16:54:54 +0000 Jan Vrany Merged 639f76c24201 and f297241056ce (branch default - CVS HEAD) jv
Mon, 28 Jan 2013 21:53:19 +0000 Jan Vrany Merged 956be83322ff and 8657c48a4c03 (branch default) jv
Sat, 19 Jan 2013 01:30:00 +0000 Jan Vrany Merged branch 'default' (CVS HEAD) jv
Fri, 30 Nov 2012 17:19:23 +0000 Jan Vrany Merged with /trunk jv
Mon, 29 Oct 2012 22:07:56 +0000 Jan Vrany Merged with /trunk (CVS) jv
less more (0) -300 -100 -50 -30 tip