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 /install_release.sh | |
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 'install_release.sh')
0 files changed, 0 insertions, 0 deletions