diff options
Diffstat (limited to 'src/tools/irm/irm_utils.c')
| -rw-r--r-- | src/tools/irm/irm_utils.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/irm/irm_utils.c b/src/tools/irm/irm_utils.c index 4e1ea178..4a15dfce 100644 --- a/src/tools/irm/irm_utils.c +++ b/src/tools/irm/irm_utils.c @@ -3,8 +3,8 @@ * * Handy helper functions for the IRM tool * - * 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 |