Mon, 16 Nov 2015 13:33:19 +0000 |
Jan Vrany |
Bugfix in merge tool.
jv
|
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
|
Wed, 03 Mar 2010 12:16:38 +0100 |
Claus Gittinger |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 05 Nov 2008 15:07:17 +0100 |
Claus Gittinger |
*** empty log message ***
|
file |
diff |
annotate
|
Mon, 30 Jan 2006 19:17:56 +0100 |
Claus Gittinger |
*** empty log message ***
|
file |
diff |
annotate
|
Mon, 30 Jan 2006 18:44:01 +0100 |
Claus Gittinger |
initial checkin
|
file |
diff |
annotate
|