src/Tools/VSCode/extension/.vscodeignore
author desharna
Thu, 29 Jul 2021 17:08:46 +0200
changeset 74079 180ee02eb075
parent 64605 9c1173a7e4cb
permissions -rw-r--r--
documented Mirabelle_Sledgehammer's new keep semantics

.vscode/**
.vscode-test/**
out/test/**
test/**
src/**
**/*.map
.gitignore
tsconfig.json
vsc-extension-quickstart.md