diff Documentations/setGPLHeader.py @ 532:d1d15b30507a

add current build
author heinrichsweikamp
date Wed, 16 Sep 2020 10:52:57 +0200
parents 6237372f76a4
children
line wrap: on
line diff