summaryrefslogtreecommitdiff
path: root/docs/.gitignore
diff options
context:
space:
mode:
authorTom Gundersen <teg@jklm.no>2015-06-29 19:45:10 +0200
committerTom Gundersen <teg@jklm.no>2015-06-29 19:45:29 +0200
commit72590bcb4ef56db29b9d5c45a0e76a5b18e62908 (patch)
tree1cbc2d9390fd5f90353ccd226702ad84bb35598a /docs/.gitignore
parent1cf34d7118e93f0734a52d0eb09f238cf9962b85 (diff)
docs: remove stale .gitignore
This is no longer useful as the udev docs are gone.
Diffstat (limited to 'docs/.gitignore')
-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 ac7af2e80e..0000000000
--- a/docs/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/html/