diff Documentations/setGPLHeader.py @ 589:8d95bab5bf6a

Minor: Update the documentation for building the code
author heinrichsweikamp
date Thu, 17 Dec 2020 10:58:28 +0100
parents 6237372f76a4
children
line wrap: on
line diff