Jean-Michel d11887de76 Add missing new line...

2020-02-24 15:50:50 +01:00

..

extensions.json

Add missing new line...

2020-02-24 15:50:50 +01:00

settings.json

Fix configuration about missing newline

2020-02-24 15:45:11 +01:00