Closed hugobuddel closed 2 weeks ago
Redo #67 because that was done in the outdated updateHeaders.py. This also removes the outdated file.
updateHeaders.py
I'll merge this, because we need to deliver this tomorrow.
Redo #67 because that was done in the outdated
updateHeaders.py
. This also removes the outdated file.I'll merge this, because we need to deliver this tomorrow.