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 | |
| parent | 1cf34d7118e93f0734a52d0eb09f238cf9962b85 (diff) | |
docs: remove stale .gitignore
This is no longer useful as the udev docs are gone.
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 ac7af2e80e..0000000000 --- a/docs/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/html/ |