Sun, 27 May 2018 16:53:56 -0400 |
Charlie Root |
one fix to distro
|
Sun, 27 May 2018 16:53:20 -0400 |
Charlie Root |
two fixes to distro
|
Tue, 13 Mar 2018 13:01:49 -0400 |
Charlie Root |
improved label deletion handling
|
Tue, 13 Mar 2018 13:01:26 -0400 |
Charlie Root |
add whitelisting
|
Tue, 13 Mar 2018 12:59:17 -0400 |
Charlie Root |
better error message
|
Sun, 28 Jan 2018 13:44:10 -0500 |
Charlie Root |
localise title and label exactly once each :-)
|
Sun, 28 Jan 2018 13:42:53 -0500 |
Charlie Root |
fix colors in label popup
|
Sun, 28 Jan 2018 11:37:00 -0500 |
Charlie Root |
turn off logging
|