Jean-Christian Denis 36c99b2a34 add Cleaner for preferences (workspaces)		2023-04-23 17:58:35 +02:00
..
main.lang.php	update translations	2023-04-16 11:56:53 +02:00
main.po	add Cleaner for preferences (workspaces)	2023-04-23 17:58:35 +02:00