Calixte Denizet a85359b031 [Editor] Simplify the strings for the tools in the UI		2022-07-28 10:02:59 +02:00
..
chrome.properties	Display widget signature	2021-04-10 19:13:28 +02:00
viewer.properties	[Editor] Simplify the strings for the tools in the UI	2022-07-28 10:02:59 +02:00