diff scripts/make-release @ 8771:f8971422795e

scripts: introduce source_format.py to fix up the module name in file headers
author Mads Kiilerich <mads@kiilerich.com>
date Sat, 07 Nov 2020 02:29:41 +0100
parents 61bd04b90f58
children
line wrap: on
line diff