summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGlenn Matthews <glmatthe@cisco.com>2016-07-10 06:18:24 -0400
committerClaudiu Popa <pcmanticore@gmail.com>2016-07-10 11:18:24 +0100
commit07cd560c1358cfb784a8b78d85402126e08c291f (patch)
tree382a29585051368804d3f1da95cca90f17a767e2 /.gitignore
parent7a9cb0cdcc8be45039cb46721baaae8f735b2771 (diff)
downloadpylint-git-07cd560c1358cfb784a8b78d85402126e08c291f.tar.gz
Automatic generation of extensions.rst (#988)
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index cb8281678..9d9ec161c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,7 @@
/pylint.egg-info/
.tox
*.sw[a-z]
+doc/extensions.rst
doc/features.rst
pyve
build-stamp