Activity
Merge pull request #8 from nberth/rename-debugger-type
Merge pull request #8 from nberth/rename-debugger-type
Pull request merge
Merge pull request #10 from nberth/coverage-not-by-default
Merge pull request #10 from nberth/coverage-not-by-default
Pull request merge
Merge pull request #9 from nberth/optional-prelaunchtask
Merge pull request #9 from nberth/optional-prelaunchtask
Pull request merge
Auto-update coverage highlighting (#7)
Auto-update coverage highlighting (#7)
Pull request merge
Merge pull request #6 from nberth/rebasing-pr-2
Merge pull request #6 from nberth/rebasing-pr-2
Pull request merge
Merge pull request #5 from nberth/fix-default-config-resolver
Merge pull request #5 from nberth/fix-default-config-resolver
Pull request merge
Merge branch 'master' into superbol-vscode-debug
Merge branch 'master' into superbol-vscode-debug
Change some fields to match the SuperBOL main extension
Change some fields to match the SuperBOL main extension
Merge pull request #4 from nberth/fix-import-readline
Merge pull request #4 from nberth/fix-import-readline
Pull request merge
Merge pull request #3 from nberth/adapt2superbol
Merge pull request #3 from nberth/adapt2superbol
Pull request merge
Merge pull request #3 from ddeclerck/improvements
Merge pull request #3 from ddeclerck/improvements