Paul Chavard 43a1ead1cb fix new prettier defaults		2020-05-12 18:18:37 +02:00
..
old_design	fix new prettier defaults	2020-05-12 18:18:37 +02:00
application.js	app: remove tooltips on the old design	2020-05-11 17:26:29 +02:00