|
app
|
Removed some dead code
|
2019-07-01 09:56:05 +02:00 |
|
commands
|
improve readability of colours
|
2019-07-02 20:40:38 +10:00 |
|
config
|
use default border color to support light theme
|
2019-07-03 20:45:02 +10:00 |
|
gui
|
Merge pull request #62 from mjarkk/fix-58
|
2019-07-02 19:52:21 +10:00 |
|
tasks
|
more
|
2019-06-23 12:27:31 +10:00 |
|
utils
|
Removed some dead code
|
2019-07-01 09:56:05 +02:00 |