2 Commits

Author	SHA1	Message	Date
Matteo Settenvini	8833ed9dc6	Minor fixes, add placeholders for translation	2020-11-15 15:05:24 +01:00
Matteo Settenvini	84eea8e2f9	Fix compilation with Codium	2020-11-14 19:20:06 +01:00