diff options
Diffstat (limited to 'CONTRIBUTORS.txt')
-rw-r--r-- | CONTRIBUTORS.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CONTRIBUTORS.txt b/CONTRIBUTORS.txt index cf6b64643..6b876505a 100644 --- a/CONTRIBUTORS.txt +++ b/CONTRIBUTORS.txt @@ -133,3 +133,5 @@ Order doesn't matter (not that much, at least ;) * Derek Gustafson: contributor * Petr Pulc: require whitespace around annotations + +* John Paraskevopoulos: add 'differing-param-doc' and 'differing-type-doc' |