diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-04-11 16:26:36 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-04-11 16:26:36 +0200 |
| commit | 60e357b819c8f2cf4dd699e67c496b50410872ac (patch) | |
| tree | 6bc7dbbd510923fa3f8cc614ebdea522e02bfe67 /include | |
| parent | 6ad0fcf2f32f412091d0dfd58da1d8f5dc474809 (diff) | |
| download | ouroboros-60e357b819c8f2cf4dd699e67c496b50410872ac.tar.gz ouroboros-60e357b819c8f2cf4dd699e67c496b50410872ac.zip | |
tools: Update irm bootstrap
This updates irm bootstrap so that the parameters from the struct
dif_config can be correctly filled in from the command line.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions