Jean-Michel Picod 0e1c76455d Address review round #2

2020-03-12 12:12:45 +01:00

..

extensions.json

Add missing new line...

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

settings.json

Address review round #2

2020-03-12 12:12:45 +01:00