Jakub Trllo 20ea1c8212 ignore case sensitivity of extension in files widget		2022-11-14 18:27:11 +01:00
..
__init__.py
dialog.py
files_widget.py	ignore case sensitivity of extension in files widget	2022-11-14 18:27:11 +01:00
widgets.py