Chris Beams 0d048de7fc
Add missing GPL headers
Per 8746ab7, IDEA's copyright configuration had been wiped out for some
time. Now that it is back in place, this change is the result of a
global "Update copyright..." action (with a bit of pruning afterward).
2014-10-05 20:00:38 +02:00
..
2014-10-05 20:00:38 +02:00