summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOhad Kammar <ohad.kammar@ed.ac.uk>2022-08-07 23:40:51 +0100
committerOhad Kammar <ohad.kammar@ed.ac.uk>2022-08-07 23:40:51 +0100
commit1aa6b6ef854fc428b888be20ce8321317bb3b627 (patch)
tree2f28e9d94d4e709c51b14fafc6d2f0979527fcb1
parent85b191cd3134102c7205c1771806ee16f73b3a89 (diff)
add contributors
-rw-r--r--CONTRIBUTORS10
1 files changed, 10 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
new file mode 100644
index 0000000..bb35283
--- /dev/null
+++ b/CONTRIBUTORS
@@ -0,0 +1,10 @@
+Thanks to the following for their help and contributions:
+
+Guillaume Allais
+Edwin Brady
+Nathn Corbyn
+Ohad Kammar
+Jeremy Yallop
+
+Apologies to anyone we've missed - let us know and we'll correct it (or just
+send a PR with the correction).