gajim-plural/gajim/plugins
Philipp Hörist ad5f59ba49 configpaths: Add get_plugin_dirs() method
This helps with mypy because otherwise get() has multiple return types

This reduces our usage of cast()
2018-10-07 00:46:54 +02:00
..
__init__.py Fix license comment format 2018-10-07 00:46:35 +02:00
gajimplugin.py Add annotations 2018-10-07 00:46:52 +02:00
gui.py Dont move window between virtual desktops 2018-10-07 00:46:50 +02:00
helpers.py Fix bad-whitespace pylint errors 2018-10-07 00:46:48 +02:00
pluginmanager.py configpaths: Add get_plugin_dirs() method 2018-10-07 00:46:54 +02:00
plugins_i18n.py configpaths: Add get_plugin_dirs() method 2018-10-07 00:46:54 +02:00