Sun, 15 May 2016 06:58:33 +0200 |
Merge Script |
Merge
jv
|
file |
diff |
annotate
|
Sat, 14 May 2016 16:48:12 +0200 |
Claus Gittinger |
#OTHER 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
|
Wed, 19 Nov 2014 22:40:20 +0100 |
Claus Gittinger |
class: Tools::HierarchicalLintRuleList
|
file |
diff |
annotate
|
Mon, 21 Jul 2014 16:30:18 +0200 |
Claus Gittinger |
class: Tools::HierarchicalLintRuleList
|
file |
diff |
annotate
|
Tue, 25 Feb 2014 11:42:31 +0100 |
Jan Vrany |
Refactoring of NavigatorModel's environment.
|
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 21:33:04 +0200 |
Claus Gittinger |
class: Tools::HierarchicalLintRuleList
|
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
|
Wed, 30 Jan 2013 11:15:09 +0000 |
Jan Vrany |
Merged 235b77901045 and 8332590c5a41 (branch default)
jv
|
file |
diff |
annotate
|
Wed, 21 Mar 2012 17:50:14 +0000 |
Jan Vrany |
Merged with /trunk
jv
|
file |
diff |
annotate
|
Wed, 22 Feb 2012 09:55:48 +0000 |
Jan Vrany |
branch jv-experiments merged back
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 12:53:39 +0000 |
Jan Vrany |
trunk branched into /branches/jv
jv
|
file |
diff |
annotate
|
Thu, 08 Mar 2012 03:44:52 +0100 |
Claus Gittinger |
changed: #updateList
|
file |
diff |
annotate
|
Thu, 04 Aug 2011 21:21:13 +0200 |
Claus Gittinger |
changed: #updateList
|
file |
diff |
annotate
|
Sun, 03 Jul 2011 20:10:13 +0200 |
Claus Gittinger |
changed: #copyright
|
file |
diff |
annotate
|
Fri, 01 Jul 2011 15:31:35 +0200 |
Claus Gittinger |
initial checkin
|
file |
diff |
annotate
|