From a818bbd47eff984f772c91f7db2077c7902243de Mon Sep 17 00:00:00 2001 From: Max Horn Date: Sat, 23 Mar 2024 22:17:26 +0100 Subject: [PATCH] Update .gitignore --- .gitignore | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.gitignore b/.gitignore index 4e96f22..e8c6b95 100644 --- a/.gitignore +++ b/.gitignore @@ -22,3 +22,7 @@ doc/*.toc doc/*.txt doc/_*.xml doc/title.xml +doc/PatternClass.xml + +/tmp/ +/gh-pages/