Matteo Settenvini 8833ed9dc6 Minor fixes, add placeholders for translation		2020-11-15 15:05:24 +01:00
..
extensions.json	Minor fixes, add placeholders for translation	2020-11-15 15:05:24 +01:00
settings.json	Fix compilation with Codium	2020-11-14 19:20:06 +01:00