Add existence of vscode extension to uniformal.github.io documentation - Githubissues

UniFormal / VSCode-MMT

MMT plugin for Visual Studio Code

https://uniformal.github.io

BSD 3-Clause "New" or "Revised" License

3 stars 0 forks source link

Add existence of vscode extension to uniformal.github.io documentation #1

Closed ComFreek closed 1 year ago

ComFreek commented 1 year ago

Add it here: https://uniformal.github.io//doc/applications/ides.html

Jazzpirate commented 1 year ago

done