diff Documentations/setGPLHeader.py @ 817:d55ed6b7b14a

Testing build
author heinrichsweikamp
date Tue, 12 Sep 2023 12:02:49 +0200
parents 6237372f76a4
children
line wrap: on
line diff