Paul Eggert 365e01cc9f Update copyright year to 2020 ... Run "TZ=UTC0 admin/update-copyright $(git ls-files)".		2020-01-01 00:59:52 +00:00
..
modhelp.py	Update copyright year to 2020	2020-01-01 00:59:52 +00:00