ThomasV ad9030bd15 labels plugin: handle setting a label to None

2022-07-29 09:38:15 +02:00

..

__init__.py

…

cmdline.py

…

kivy.py

…

labels.py

labels plugin: handle setting a label to None

2022-07-29 09:38:15 +02:00

qt.py

…