log Documentations/setGPLHeader.py @ 946:80ae8ea7f0a0 Evo_2_23

age author description
2018-03-07 jDG ... more GPL License and general cleanups
2018-01-23 jDG ADD script to set GPL headers