diff options
author | Thomas Huth <thuth@redhat.com> | 2020-09-19 12:27:20 +0200 |
---|---|---|
committer | Thomas Huth <thuth@redhat.com> | 2020-10-13 12:48:17 +0200 |
commit | 2ae00c8b2f7536f1bb38c3eb40d76f4196c61d0c (patch) | |
tree | f77752131111ad8e5545a02b6a2b1d0e4c91bb1d /plugins | |
parent | 520ddc18bf55fbd7c7409c737b1cd7e8b1e7c971 (diff) |
Remove superfluous .gitignore files
Since we are now always doing out-of-tree builds, these gitignore
files should not be necessary anymore.
Message-Id: <20200919133637.72744-1-thuth@redhat.com>
Signed-off-by: Thomas Huth <thuth@redhat.com>
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/.gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/plugins/.gitignore b/plugins/.gitignore deleted file mode 100644 index 7b8aaa1f10..0000000000 --- a/plugins/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -qemu-plugins-ld.symbols -qemu-plugins-ld64.symbols |