From 7f56b88d499cebba2646adf6e8f28cdf2b215a44 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 3 Jan 2023 17:52:35 +0100 Subject: [PATCH] Ignore *-stamp in matita/help/C --- .gitignore | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.gitignore b/.gitignore index 4810a4e5a..7ad5d443d 100644 --- a/.gitignore +++ b/.gitignore @@ -26,6 +26,10 @@ matita/matita/matita.glade.utf8 matita/depend-stamp matita/config.status +matita/matita/help/C/pdf-stamp +matita/matita/help/C/html-stamp +matita/matita/help/C/quickref-stamp + matita/matita/matita matita/matita/matita.opt matita/matita/matitac -- 2.39.2