From ec4e3278994c8545235404f23bed2e0555a4604b Mon Sep 17 00:00:00 2001 From: Gerhard Hoffmann Date: Thu, 18 Sep 2025 13:50:04 +0200 Subject: [PATCH] ignore documentation directory --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 7301e1d..f5640cd 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ tags *.tags *.user +documentation/