From 0b0baa9a65264cfa16e9cf3bb984d8c49a1502fb Mon Sep 17 00:00:00 2001
From: Anthony Berg <smyalygames@gmail.com>
Date: Mon, 6 May 2024 18:29:15 +0100
Subject: [PATCH] fix(formal): vdmignore ignore all other directories other
 than formal

---
 .vscode/vdmignore | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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/