summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorTim-Philipp Müller <tim@centricular.com>2019-10-13 14:22:50 +0100
committerTim-Philipp Müller <tim@centricular.com>2019-10-14 13:54:27 +0100
commitf218ec279449ece51faf86e0df7032aa02eb831f (patch)
tree48b00c61bdcfea8e50b18d5cb07a1007a93ead3c /docs
parent4d528776b6a33fe08b0b00d63f0d18244e5f5411 (diff)
Remove autotools build system
Diffstat (limited to 'docs')
-rw-r--r--docs/.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/.gitignore b/docs/.gitignore
deleted file mode 100644
index e5a7abe44..000000000
--- a/docs/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-version.entities