fix(formal): vdmignore ignore all other directories other than formal

This commit is contained in:
Anthony Berg 2024-05-06 18:29:15 +01:00
parent b0bd70475c
commit 0b0baa9a65

7
.vscode/vdmignore vendored
View File

@ -1,2 +1,5 @@
!formal/* connector/
**/** doc/
plugin/
pub/
XPlaneConnect/