diff options
author | Glenn Matthews <glmatthe@cisco.com> | 2016-07-10 06:18:24 -0400 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2016-07-10 11:18:24 +0100 |
commit | 07cd560c1358cfb784a8b78d85402126e08c291f (patch) | |
tree | 382a29585051368804d3f1da95cca90f17a767e2 /CONTRIBUTORS.txt | |
parent | 7a9cb0cdcc8be45039cb46721baaae8f735b2771 (diff) | |
download | pylint-git-07cd560c1358cfb784a8b78d85402126e08c291f.tar.gz |
Automatic generation of extensions.rst (#988)
Diffstat (limited to 'CONTRIBUTORS.txt')
-rw-r--r-- | CONTRIBUTORS.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/CONTRIBUTORS.txt b/CONTRIBUTORS.txt index 89cebdd17..918140ab0 100644 --- a/CONTRIBUTORS.txt +++ b/CONTRIBUTORS.txt @@ -99,4 +99,5 @@ Order doesn't matter (not that much, at least ;) * Yannick Brehon: contributor. -* Glenn Matthews: bug reports, occasional bug fixes +* Glenn Matthews: bug reports, autogenerated documentation for optional + extensions, occasional bug fixes |