Jean-Christian Paul Denis 3e02bd7d00 release 0.5		2023-04-23 18:36:33 +02:00
..
main.lang.php	release 0.5	2023-04-23 18:36:33 +02:00
main.po	add Cleaner for preferences (workspaces)	2023-04-23 17:58:35 +02:00