AutoTimer: fix for delete filter
authorSven H <svenho@arcor.de>
Sun, 10 Feb 2019 17:28:33 +0000 (18:28 +0100)
committerGitHub <noreply@github.com>
Sun, 10 Feb 2019 17:28:33 +0000 (18:28 +0100)
commitdb01a801dde894ac02c0bc5f3672bb5e1f9c0faa
tree537890ad0f25e7f116f7ab6cf2ff2e3748d0f0d7
parent5a64c2e0cee0a941a6db16a089e9950e1e78222a
AutoTimer: fix for delete filter

the last filter could not be deleted
autotimer/src/AutoTimerEditor.py