diff Documentations/setGPLHeader.py @ 751:70e9c83ecf22

resolv merge
author Ideenmodellierer
date Mon, 13 Mar 2023 22:23:00 +0100
parents 6237372f76a4
children
line wrap: on
line diff