summaryrefslogtreecommitdiff
path: root/src/LICENCE
diff options
context:
space:
mode:
authorAlasdair Armstrong2017-12-05 15:57:30 +0000
committerAlasdair Armstrong2017-12-05 15:57:30 +0000
commit631373a7694db8a789a7d9efbdcf16d17aa1ce98 (patch)
tree988667ee48c21bb69580540e479e544e84707f88 /src/LICENCE
parent7387aaa375859cd0fe090ba1df77972a7179e79f (diff)
Update license headers for Sail source
Diffstat (limited to 'src/LICENCE')
-rw-r--r--src/LICENCE10
1 files changed, 9 insertions, 1 deletions
diff --git a/src/LICENCE b/src/LICENCE
index 5992fbfc..6b6dcc4f 100644
--- a/src/LICENCE
+++ b/src/LICENCE
@@ -1,6 +1,6 @@
Sail
-Copyright (c) 2013-2017
+Copyright (c) 2013-2017
Kathyrn Gray
Shaked Flur
Stephen Kell
@@ -8,6 +8,14 @@ Copyright (c) 2013-2017
Robert Norton-Wright
Christopher Pulte
Peter Sewell
+ Alasdair Armstrong
+ Brian Campbell
+ Thomas Bauereiss
+ Anthony Fox
+ Jon French
+ Dominic Mulligan
+ Stephen Kell
+ Mark Wassell
All rights reserved.