diff options
author | Eric Engestrom <[email protected]> | 2019-04-24 12:18:46 +0100 |
---|---|---|
committer | Eric Engestrom <[email protected]> | 2019-04-29 21:17:19 +0000 |
commit | 7ca8ba199fbf91c6965d84554e4bd9673f23cc32 (patch) | |
tree | ef5dd641feb9a16d5e68ea36aca316fa7af82ebf /bin | |
parent | f3bdffc33db3b95b87d3f1c29bbf52439ef7d8c4 (diff) |
delete autotools .gitignore files
One special case, `src/util/xmlpool/.gitignore` is not entirely deleted,
as `xmlpool.pot` still gets generated (eg. by `ninja xmlpool-pot`).
Signed-off-by: Eric Engestrom <[email protected]>
Reviewed-by: Dylan Baker <[email protected]>
Diffstat (limited to 'bin')
-rw-r--r-- | bin/.gitignore | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/bin/.gitignore b/bin/.gitignore deleted file mode 100644 index aa4577e915d..00000000000 --- a/bin/.gitignore +++ /dev/null @@ -1,9 +0,0 @@ -config.guess -config.sub -install-sh -/depcomp -/missing -ylwrap -compile -ar-lib -/test-driver |