Path	Lines of Code
src/extension.ts	88
vdmfiles/sample.js	12
vdmfiles/sample.py	6
vdmfiles/sample.ts	11