From aa3e91322cbc651bb130ec8636b28d676979d4fe Mon Sep 17 00:00:00 2001 From: "Dmitry V. Levin" Date: Sun, 8 Sep 2024 08:00:00 +0000 Subject: Remove unused .gitignore file doc/specs/formatter/.gitignore became irrelevant along with the whole doc/specs/formatter directory after commit 96eb2dc401f785e2b35a2089dda24416ff9bb305 back in 2005. --- doc/specs/formatter/.gitignore | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 doc/specs/formatter/.gitignore (limited to 'doc') diff --git a/doc/specs/formatter/.gitignore b/doc/specs/formatter/.gitignore deleted file mode 100644 index fdb57932..00000000 --- a/doc/specs/formatter/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -parse.tab.c -padout -- cgit v1.2.3