Wed, 24 Jan 2018 16:20:19 +0100 |
mawalch |
#BUGFIX by mawalch
|
file |
diff |
annotate
|
Tue, 16 Jan 2018 22:13:16 +0100 |
Claus Gittinger |
#OTHER by cg
|
file |
diff |
annotate
|
Tue, 11 Apr 2017 01:57:43 +0200 |
Claus Gittinger |
#FEATURE by cg
|
file |
diff |
annotate
|
Wed, 01 Apr 2015 10:38:01 +0100 |
Jan Vrany |
Merged 25c2a13f00c5 and e6512d88f1ab (branch default - CVS HEAD)
jv
|
file |
diff |
annotate
|
Fri, 20 Feb 2015 16:37:15 +0100 |
Claus Gittinger |
class: BookmarkMenuBuilder
|
file |
diff |
annotate
|
Fri, 20 Feb 2015 16:32:52 +0100 |
Claus Gittinger |
class: BookmarkMenuBuilder
|
file |
diff |
annotate
|
Fri, 04 Jul 2014 12:26:05 +0200 |
Claus Gittinger |
class: BookmarkMenuBuilder
|
file |
diff |
annotate
|
Wed, 04 Sep 2013 11:33:19 +0100 |
Jan Vrany |
Merged 81d796e3295c and 5dbbc9379782 (branch default - CVS HEAD)
jv
|
file |
diff |
annotate
|
Sat, 31 Aug 2013 19:41:19 +0200 |
Claus Gittinger |
class: BookmarkMenuBuilder
|
file |
diff |
annotate
|
Wed, 27 Feb 2013 12:34:59 +0000 |
Jan Vrany |
Added LintRuleSettingsApplication and LintRuleEditDialog to define user-defined rule sets.
jv
|
file |
diff |
annotate
|
Mon, 30 Jan 2012 17:49:41 +0000 |
Jan Vrany |
Improvements in LintHighlighter, few fixes
jv
|
file |
diff |
annotate
|
Sun, 29 Jan 2012 15:33:37 +0000 |
Jan Vrany |
Merged with /trunk
jv
|
file |
diff |
annotate
|
Sun, 29 Jan 2012 12:53:39 +0000 |
Jan Vrany |
trunk branched into /branches/jv
jv
|
file |
diff |
annotate
|
Tue, 29 Nov 2011 11:21:54 +0100 |
Claus Gittinger |
x
|
file |
diff |
annotate
|
Mon, 08 Aug 2011 18:23:04 +0200 |
Claus Gittinger |
category of: #menuItemFolder:
|
file |
diff |
annotate
|