Gildas 663158c82f added option "synchronize options" (fix #296) 6 years ago
..
messages.json 663158c82f added option "synchronize options" (fix #296) 6 years ago