summaryrefslogtreecommitdiff
path: root/src/tools/irm/irm_ops.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/tools/irm/irm_ops.h')
-rw-r--r--src/tools/irm/irm_ops.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/irm/irm_ops.h b/src/tools/irm/irm_ops.h
index 2208fdda..7ce773d0 100644
--- a/src/tools/irm/irm_ops.h
+++ b/src/tools/irm/irm_ops.h
@@ -3,8 +3,8 @@
*
* Functions of the IRM tool that are one level deep
*
- * Dimitri Staessens <dimitri.staessens@ugent.be>
- * Sander Vrijders <sander.vrijders@ugent.be>
+ * Dimitri Staessens <dimitri@ouroboros.rocks>
+ * Sander Vrijders <sander@ouroboros.rocks>
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions