diff options
| author | Toni <matzeton@googlemail.com> | 2021-10-10 13:13:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-10 13:13:52 +0200 |
| commit | cf931fda6bfb3925555c7bd11d950a886676bcb3 (patch) | |
| tree | a1ae588d0b7a0b96b7ef258f18ed59e962e7d418 /.gitignore | |
| parent | 6ff67b5043e52db3de1c8fc63dddabe906612217 (diff) | |
Get rid of `configure.seed` as it comes with some disadvantages. (#1328)
* using Autotools best-practices to achieve (hopefully) the same result
Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index ebacea3cd..f9425afd1 100644 --- a/.gitignore +++ b/.gitignore @@ -11,7 +11,6 @@ compile /config.status /config.sub /configure -/configure.ac /configure.tmp .cproject /depcomp |