summaryrefslogtreecommitdiff
path: root/src/LICENCE
diff options
context:
space:
mode:
authorPeter Sewell2017-02-03 14:54:22 +0000
committerPeter Sewell2017-02-03 14:54:22 +0000
commitfb8ca50af3bb9392b66505b28ba718c90f8ab0ab (patch)
tree5a5d7cec06bfa752633bb1cf173594c444883b07 /src/LICENCE
parentd8041f29ad728320ca763ff3852508b617592b1a (diff)
fix headers
Diffstat (limited to 'src/LICENCE')
-rw-r--r--src/LICENCE2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/LICENCE b/src/LICENCE
index 743c9719..5992fbfc 100644
--- a/src/LICENCE
+++ b/src/LICENCE
@@ -2,6 +2,8 @@
Copyright (c) 2013-2017
Kathyrn Gray
+ Shaked Flur
+ Stephen Kell
Gabriel Kerneis
Robert Norton-Wright
Christopher Pulte