diff options
author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-06-25 09:41:43 +0200 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-06-25 09:41:43 +0200 |
commit | b13d60ac083195af6caee475fb36844c5177a0cf (patch) | |
tree | bbb7186d986f9555e457768504f9ad0ad7cbbaad /doc/.gitignore | |
parent | 4b5eaafdc9b61307a6a4074366372df3c170372e (diff) | |
parent | 76eff8e31eb1e6a6b65284ec4d33cfa088008c3d (diff) | |
download | ouroboros-b13d60ac083195af6caee475fb36844c5177a0cf.tar.gz ouroboros-b13d60ac083195af6caee475fb36844c5177a0cf.zip |
Merged in dstaesse/ouroboros/be-irmd-registry (pull request #138)
irmd: name space management
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions