From d1d3b7c94eea39fec87f3f31814b72f2a9ef8461 Mon Sep 17 00:00:00 2001 From: tTh Date: Fri, 10 Jun 2022 10:42:15 +0200 Subject: [PATCH] patch a bug after file renaming --- .gitignore | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/.gitignore b/.gitignore index 9f9a698..abafcd0 100644 --- a/.gitignore +++ b/.gitignore @@ -5,13 +5,13 @@ log.* MANIFEST tarball -main.aux -main.idx -main.ilg -main.ind -main.log -main.pdf -main.toc +tetatricks.aux +tetatricks.idx +tetatricks.ilg +tetatricks.ind +tetatricks.log +tetatricks.pdf +tetatricks.toc code/a.out code/*.o