tibbi 46f99fd1c0 add a settings button for managing excluded folders		2017-02-26 19:37:54 +01:00
..
main	add a settings button for managing excluded folders	2017-02-26 19:37:54 +01:00