diff --git a/scripts/contributor_data.py b/scripts/contributor_data.py --- a/scripts/contributor_data.py +++ b/scripts/contributor_data.py @@ -62,6 +62,12 @@ no_about.add(('Ton Plomp ', '2013')) +# Contributors in about.html and CONTRIBUTORS not appearing in repository +# history: +other = [ + # Work folded into commits attributed to others: +] + # Preserve contributors listed in about.html but not appearing in repository # history: other_about = [