fix(documentation.vscode.md): fix slashes and itemized list

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

fix(documentation.vscode.md): fix slashes and itemized list #59

Closed avigad closed 7 years ago

avigad commented 7 years ago

I am not sure adding a blank line will fix the itemized list, since I don't see the problem either way when I test the site locally. But we have a similar list in documentation/index.md, so it should worik.