Laurențiu Nicola 9d85161f30 Add Lapce section to the manual		2023-02-12 11:12:05 +02:00
..
dev	Add a 'open server logs' button to the error notification	2023-01-23 13:24:42 +01:00
user	Add Lapce section to the manual	2023-02-12 11:12:05 +02:00