Laurențiu Nicola cfeec8a705 Add clippy configuration section to the manual		2023-02-12 11:34:52 +02:00
..
dev	Add a 'open server logs' button to the error notification	2023-01-23 13:24:42 +01:00
user	Add clippy configuration section to the manual	2023-02-12 11:34:52 +02:00