diff options
| author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2019-08-14 14:57:00 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@protonmail.com> | 2019-08-14 14:59:35 +0200 |
| commit | b6e9ff899677770741d94f1cf4f61ebb13fc453f (patch) | |
| tree | a1ddde792b67aed745ba8c0b728c2ae6e356086d /src | |
| parent | a7aa809027633556dd3280c6e29ca98eb3235a3d (diff) | |
build: Remove src/obj directory from repository
This directory is automatically created by the build process (in the
build target directory, see #16588) and doesn't need to be in the
repository nor in the tarballs.
Move associated ignore directive to top-level `.gitignore` file.
Diffstat (limited to 'src')
| -rw-r--r-- | src/obj/.gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/obj/.gitignore b/src/obj/.gitignore deleted file mode 100644 index d6b7ef32c8..0000000000 --- a/src/obj/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -* -!.gitignore |