diff Documentations/setGPLHeader.py @ 791:92ac192e98d5

update current build for testing
author heinrichsweikamp
date Wed, 02 Aug 2023 08:41:03 +0200
parents 6237372f76a4
children
line wrap: on
line diff