diff options
Diffstat (limited to 'debian/pylint.docs')
-rw-r--r-- | debian/pylint.docs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/pylint.docs b/debian/pylint.docs new file mode 100644 index 000000000..27ad78732 --- /dev/null +++ b/debian/pylint.docs @@ -0,0 +1,6 @@ +doc/features.html +doc/quickstart.html +doc/FAQ.html +doc/FAQ.txt +doc/quickstart.txt +doc/features.txt |