Gwendolin Kummer 143ca8315b Update bookmarks		2023-07-16 11:46:39 +02:00
..
bookmarks	Update bookmarks	2023-07-16 11:46:39 +02:00
settings.ini	IMPROVE: Change gtk options	2020-09-13 14:15:03 +02:00