Jürgen Edelbluth f40e3e2a66 More robust headers and extra options to rename headers		2022-08-17 11:26:23 +02:00
..
__init__.py	Initial Commit	2022-08-14 20:01:28 +00:00
cmdline.py	Preparing next release	2022-08-15 18:19:39 +02:00
configure.py	Preparing next release	2022-08-15 17:32:09 +00:00
parametrize.py	More robust headers and extra options to rename headers	2022-08-17 11:26:23 +02:00
plugin.py	Preparing next release	2022-08-15 17:32:09 +00:00
varname.py	More robust headers and extra options to rename headers	2022-08-17 11:26:23 +02:00
version.py	Preparing next release	2022-08-15 18:19:39 +02:00