| Tue, 06 Nov 2018 13:01:08 +0100 |
Magnus Schieder |
human_time calculates up to 59 minutes, not 60.
|
| 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.
|
| Thu, 01 Nov 2018 11:05:33 +0100 |
Thomas Arendsen Hein |
README: mention that python3-setuptools is needed
|
| Thu, 01 Nov 2018 11:03:22 +0100 |
Thomas Arendsen Hein |
README: use python3 for apt-get and setup.py calls
|
| Thu, 01 Nov 2018 11:00:24 +0100 |
Thomas Arendsen Hein |
setup.py: remove unused "import glob"
|
| Thu, 01 Nov 2018 10:59:50 +0100 |
Thomas Arendsen Hein |
setup.py: adjust indentation
|
