From c6a7da09f9ed17221e62a987bf5310badf50946e Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 2 Jan 2023 21:46:29 +0100 Subject: [PATCH] Generated files (for dune) added to .gitignore --- .gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 7c95ce292..43049bb11 100644 --- a/.gitignore +++ b/.gitignore @@ -5,6 +5,7 @@ *.cmi *.cmxa *.cma +*.exe *~ @@ -27,8 +28,8 @@ matita/depend-stamp matita/config.status matita/matita/matita -matita/matita/matitac matita/matita/matita.opt +matita/matita/matitac matita/matita/matitac.opt matita/matita/matitaclean matita/matita/matitaclean.opt -- 2.39.2