diff options
Diffstat (limited to 'src/tools/irm/irm_utils.h')
| -rw-r--r-- | src/tools/irm/irm_utils.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/irm/irm_utils.h b/src/tools/irm/irm_utils.h index a5f8d1e3..f32b519a 100644 --- a/src/tools/irm/irm_utils.h +++ b/src/tools/irm/irm_utils.h @@ -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 |