diff options
author | Dimitri Staessens <[email protected]> | 2016-03-11 17:30:45 +0100 |
---|---|---|
committer | Dimitri Staessens <[email protected]> | 2016-03-11 17:30:45 +0100 |
commit | d6897a45d8b45d5bc00f1a6dcd627a14aa535120 (patch) | |
tree | e37582961e744a7d56e29c134ba147df2da1a061 /doc | |
parent | b68c90fbf9f4a60e4fc406903e38d20453ba8253 (diff) | |
parent | 328078c1ee01d64733328b3dad3e7db68dcd6d2d (diff) | |
download | ouroboros-d6897a45d8b45d5bc00f1a6dcd627a14aa535120.tar.gz ouroboros-d6897a45d8b45d5bc00f1a6dcd627a14aa535120.zip |
Merged in sandervrijders/ouroboros/be-irmd (pull request #26)
Helper functions for naming and extension of the irmd code
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions