| Tue, 06 Nov 2018 13:19:06 +0100 |
Magnus Schieder |
Update TODO and CHANGES.
|
| Fri, 02 Nov 2018 15:51:16 +0100 |
Bernhard Reiter |
Improve TODO list
|
| Thu, 01 Nov 2018 14:20:56 +0100 |
Magnus Schieder |
updated TODO.
|
| Mon, 17 Sep 2018 20:41:28 +0200 |
Magnus Schieder |
merged, Updated TODO, CHANGES
|
| Mon, 06 Aug 2018 15:30:05 +0200 |
Magnus Schieder |
Updated TODO.
|
| Thu, 28 Jun 2018 15:06:19 +0200 |
Magnus Schieder |
Rename getan-eval.py to getaneval.py
|
| Thu, 28 Jun 2018 12:01:16 +0200 |
Magnus Schieder |
Logging can be activated and deactivated.
|
