diff --git a/.vscode/vdmignore b/.vscode/vdmignore index 291e7ef..2caa775 100644 --- a/.vscode/vdmignore +++ b/.vscode/vdmignore @@ -1,2 +1,5 @@ -!formal/* -**/** \ No newline at end of file +connector/ +doc/ +plugin/ +pub/ +XPlaneConnect/