commit | a791a302379f30c156c18afc9c1938862cd35819 | [log] [tgz] |
---|---|---|
author | Jon Co <jc956@york.ac.uk> | Wed Jun 03 10:36:58 2020 +0100 |
committer | Jon Co <jc956@york.ac.uk> | Wed Jun 03 10:36:58 2020 +0100 |
tree | 8ba035778f6b6375ebc460931c357ce338bd1a7e | |
parent | 814b68c4b2255415f4b2c27ba3e21930cf13f765 [diff] | |
parent | 4c7d76719f5f6853538be7a1530ac4b3366e6760 [diff] |
Merge branch 'master' of ssh://git.eclipse.org:29418/hawk/hawk * 'master' of ssh://git.eclipse.org:29418/hawk/hawk: Update several copyright headers