Sat, 22 Dec 2018 13:46:18 +0100 |
Claus Gittinger |
#DOCUMENTATION by cg
|
file |
diff |
annotate
|
Tue, 05 Dec 2017 21:59:06 +0000 |
Jan Vrany |
Editor theme: do not allow for special fonts for comments
jv
|
file |
diff |
annotate
|
Tue, 29 May 2018 22:27:59 +0100 |
Jan Vrany |
Copyright updates
jv
|
file |
diff |
annotate
|
Mon, 28 May 2018 15:02:47 +0200 |
Claus Gittinger |
#UI_ENHANCEMENT by cg
|
file |
diff |
annotate
|
Wed, 16 May 2018 14:51:32 +0200 |
Claus Gittinger |
#REFACTORING by cg
|
file |
diff |
annotate
|
Tue, 01 May 2018 11:38:33 +0200 |
HG Automerge |
Merge
jv
|
file |
diff |
annotate
|
Thu, 19 Apr 2018 17:45:05 +0200 |
Stefan Vogel |
#BUGFIX by stefan
|
file |
diff |
annotate
|
Sat, 21 Oct 2017 15:25:24 +0200 |
Claus Gittinger |
#FEATURE by cg
|
file |
diff |
annotate
|
Sat, 21 Oct 2017 13:42:51 +0200 |
Claus Gittinger |
#DOCUMENTATION by cg
|
file |
diff |
annotate
|
Sat, 21 Oct 2017 13:32:53 +0200 |
Claus Gittinger |
#DOCUMENTATION by cg
|
file |
diff |
annotate
|
Wed, 08 Feb 2017 00:59:00 +0100 |
Claus Gittinger |
#OTHER by cg
|
file |
diff |
annotate
|
Tue, 20 Sep 2016 07:02:47 +0200 |
Merge Script |
Merge
jv
|
file |
diff |
annotate
|
Mon, 19 Sep 2016 13:10:58 +0200 |
Claus Gittinger |
#UI_ENHANCEMENT by cg
|
file |
diff |
annotate
|
Sat, 26 Mar 2016 07:56:56 +0000 |
Jan Vrany |
Merge
jv
|
file |
diff |
annotate
|
Fri, 25 Mar 2016 16:45:15 +0100 |
Claus Gittinger |
#DOCUMENTATION
|
file |
diff |
annotate
|