diff options
| author | Sander Vrijders <[email protected]> | 2017-03-03 15:31:42 +0100 |
|---|---|---|
| committer | Sander Vrijders <[email protected]> | 2017-03-03 15:31:42 +0100 |
| commit | c9fb31c7ebadc076b7c3bfd9dbe1c492c6ef7172 (patch) | |
| tree | f1ba42d8db45941ef6d492095fc8ae1823ae6ee6 /src/tools/irm/irm_utils.h | |
| parent | 2852bb1bac8fcc111364d516c2bd31628ad264c7 (diff) | |
| download | ouroboros-c9fb31c7ebadc076b7c3bfd9dbe1c492c6ef7172.tar.gz ouroboros-c9fb31c7ebadc076b7c3bfd9dbe1c492c6ef7172.zip | |
Change email addresses to ugent.be
Our mailserver was migrated from intec.ugent.be to the central
ugent.be emailserver. This PR updates the header files to reflect this
change as well. Some header files were also homogenized if the
parameters within the functions were badly aligned.
Diffstat (limited to 'src/tools/irm/irm_utils.h')
| -rw-r--r-- | src/tools/irm/irm_utils.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/tools/irm/irm_utils.h b/src/tools/irm/irm_utils.h index b5a6f56f..d6d2232c 100644 --- a/src/tools/irm/irm_utils.h +++ b/src/tools/irm/irm_utils.h @@ -3,7 +3,8 @@ * * Handy helper functions for the IRM tool * - * Sander Vrijders <[email protected]> + * Dimitri Staessens <[email protected]> + * Sander Vrijders <[email protected]> * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License version 2 as @@ -19,4 +20,5 @@ * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ -int matches(const char * cmd, const char * pattern); +int matches(const char * cmd, + const char * pattern); |