diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-03-21 16:21:49 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-03-21 16:21:49 +0100 |
| commit | fef50c3db0e02f0052f1759d508045c44fc4146e (patch) | |
| tree | fc73859827a5dfebf5022fad37e826d98ba4046f /src/tools/irm/irm_unbind.c | |
| parent | 4b257b249ea91d1ee7e2341c563bac561911e8a6 (diff) | |
| parent | d4e80d41197b75d2c351659c7e8d4546270e677d (diff) | |
| download | ouroboros-fef50c3db0e02f0052f1759d508045c44fc4146e.tar.gz ouroboros-fef50c3db0e02f0052f1759d508045c44fc4146e.zip | |
Merge branch 'be' of bitbucket.org:ouroboros-rina/ouroboros into be
Diffstat (limited to 'src/tools/irm/irm_unbind.c')
| -rw-r--r-- | src/tools/irm/irm_unbind.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/irm/irm_unbind.c b/src/tools/irm/irm_unbind.c index 2a570547..e21f7993 100644 --- a/src/tools/irm/irm_unbind.c +++ b/src/tools/irm/irm_unbind.c @@ -3,8 +3,8 @@ * * Unbind names in the processing system * - * 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> * * 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 |