1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 7975261..4e2186a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@
 
 # Generated files
 src/config.ads
+config.def
 
 # Build dir
 build/*