Add support for Coq - Githubissues

ymotongpoo / vsc-licenser

License handler extension for Visual Studio Code.

Apache License 2.0

45 stars 40 forks source link

Open smorimoto opened 4 years ago

smorimoto commented 4 years ago

I will work on this after making some improvements to this project.