diff options
| author | Christophe Fergeau <cfergeau@redhat.com> | 2018-06-08 12:01:16 +0200 |
|---|---|---|
| committer | Frediano Ziglio <fziglio@redhat.com> | 2018-06-18 14:08:07 +0100 |
| commit | a526fea413e1086924e2c215abead9f437e75049 (patch) | |
| tree | 9e7358f5126544b70f1a41e980c8b13a641d2dbb /docs | |
| parent | 26dce6fede12162b8286413cdfa84bec39a1f954 (diff) | |
build: Remove docs/.gitignore
It was added together with the meson build, but it's currently being
managed by git.mk, so it should not be in git
Acked-by: Victor Toso <victortoso@redhat.com>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/.gitignore b/docs/.gitignore deleted file mode 100644 index 508590c..0000000 --- a/docs/.gitignore +++ /dev/null @@ -1 +0,0 @@ -spice_protocol.html |