diff options
| -rw-r--r-- | doc/specs/formatter/.gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
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 |