diff options
author | Tom Gundersen <teg@jklm.no> | 2015-06-29 19:45:10 +0200 |
---|---|---|
committer | Tom Gundersen <teg@jklm.no> | 2015-06-29 19:45:29 +0200 |
commit | 72590bcb4ef56db29b9d5c45a0e76a5b18e62908 (patch) | |
tree | 1cbc2d9390fd5f90353ccd226702ad84bb35598a /docs/.gitignore | |
parent | Merge pull request #408 from ColdPie1/fix_resp (diff) | |
download | systemd-72590bcb4ef56db29b9d5c45a0e76a5b18e62908.tar.xz systemd-72590bcb4ef56db29b9d5c45a0e76a5b18e62908.zip |
docs: remove stale .gitignore
This is no longer useful as the udev docs are gone.
Diffstat (limited to 'docs/.gitignore')
-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 ac7af2e80e..0000000000 --- a/docs/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/html/ |