diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2017-01-09 16:42:25 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2017-01-09 16:42:25 +0100 |
| commit | 77c32c24b781eafd518e2cbe9de46b348a26a201 (patch) | |
| tree | 817ead055668848866738e037ac3cb4c2a269bfd /src/tools/irm/irm_utils.h | |
| parent | f0167930862e57a2aa22520cd574f0368cb1032c (diff) | |
| parent | 6c1cfb990f56b2fa87500732cb4f0966616907c7 (diff) | |
| download | ouroboros-77c32c24b781eafd518e2cbe9de46b348a26a201.tar.gz ouroboros-77c32c24b781eafd518e2cbe9de46b348a26a201.zip | |
Merge remote-tracking branch 'upstream/be' into be-gam
Diffstat (limited to 'src/tools/irm/irm_utils.h')
| -rw-r--r-- | src/tools/irm/irm_utils.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/irm/irm_utils.h b/src/tools/irm/irm_utils.h index 708b3462..b5a6f56f 100644 --- a/src/tools/irm/irm_utils.h +++ b/src/tools/irm/irm_utils.h @@ -1,5 +1,5 @@ /* - * Ouroboros - Copyright (C) 2016 + * Ouroboros - Copyright (C) 2016 - 2017 * * Handy helper functions for the IRM tool * |