summaryrefslogtreecommitdiff
path: root/CONTRIBUTORS
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-10-14 11:32:22 +0000
committerSander Vrijders <sander.vrijders@ugent.be>2017-10-14 11:32:22 +0000
commitbf1602c915dee8bd6cbb69aba1fe88619b9c0eed (patch)
tree8c93fcb67d61ca40b060f9c9ea1b62389f247dbd /CONTRIBUTORS
parent1888c137a8ff315bc549c16740aa727da8c666f5 (diff)
parentbedd1d4eadde9ab64f924c69eba716b015599e67 (diff)
downloadouroboros-bf1602c915dee8bd6cbb69aba1fe88619b9c0eed.tar.gz
ouroboros-bf1602c915dee8bd6cbb69aba1fe88619b9c0eed.zip
Merged in dstaesse/ouroboros/be-deprecate-ouroboros-init-fini (pull request #626)
Be deprecate ouroboros init fini
Diffstat (limited to 'CONTRIBUTORS')
-rw-r--r--CONTRIBUTORS4
1 files changed, 2 insertions, 2 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index eeff71ad..dbe6bde8 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -1,5 +1,5 @@
This file contains a list of people who have made large contributions to
Ouroboros, in alphabetical order.
-Dimitri Staessens <dimitri.staessens@intec.ugent.be>
-Sander Vrijders <sander.vrijders@intec.ugent.be>
+Dimitri Staessens <dimitri.staessens@ugent.be>
+Sander Vrijders <sander.vrijders@ugent.be>