From 72590bcb4ef56db29b9d5c45a0e76a5b18e62908 Mon Sep 17 00:00:00 2001 From: Tom Gundersen Date: Mon, 29 Jun 2015 19:45:10 +0200 Subject: docs: remove stale .gitignore This is no longer useful as the udev docs are gone. --- docs/.gitignore | 1 - 1 file changed, 1 deletion(-) delete mode 100644 docs/.gitignore (limited to 'docs/.gitignore') diff --git a/docs/.gitignore b/docs/.gitignore deleted file mode 100644 index ac7af2e80e..0000000000 --- a/docs/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/html/ -- cgit v1.2.3-54-g00ecf