From 7b7c5bf923deb677d935f682a77bde19287e639d Mon Sep 17 00:00:00 2001 From: Cody Boone Ferguson <53008573+xexyl@users.noreply.github.com> Date: Sat, 7 Oct 2023 07:11:14 -0700 Subject: [PATCH] Add indent.c to .gitignore This is because of the make rule 'indent' which runs 'indent' on the files, saving to 'indent.c'. If any entry ever has a file called indent.c something will have to change obviously but for now this will prevent a cluttered git status if someone runs make indent (like I did yesterday or the day before). --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 9be82fdce..8ceeed3ce 100644 --- a/.gitignore +++ b/.gitignore @@ -38,3 +38,4 @@ mkentry .su[a-z] .*.sv[a-z] .*.sw[a-z] +indent.c