Commit 3e44e3bb0c1a91faa5b31b257c9f32fb752f8c2d
2022-07-29T16:41:28
gnulib-tool.py: Modernize the file headers. * pygnulib/*.py: Remove '#!/usr/bin/python' (not needed) and 'encoding: UTF-8' lines (default in Python 3). Add copyright notice.