log scripts/source_format.py @ 8998:a80ac2033a8a draft i18n tip

age author description
Sat, 07 Nov 2020 02:29:41 +0100 Mads Kiilerich scripts: introduce source_format.py to fix up the module name in file headers