summaryrefslogtreecommitdiff
path: root/doc/man
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri.staessens@ugent.be>2018-03-21 17:43:51 +0100
committerSander Vrijders <sander.vrijders@ugent.be>2018-03-21 17:51:38 +0100
commitfd5508b8daec47e9f646c086d4cc310583154b97 (patch)
treec27d93cee13d9183eecbef842575f94848b2f079 /doc/man
parent4230103ff633904c69cc18d861bf42781f57bb64 (diff)
downloadouroboros-fd5508b8daec47e9f646c086d4cc310583154b97.tar.gz
ouroboros-fd5508b8daec47e9f646c086d4cc310583154b97.zip
irmd: Remove obsolete layer to name mappings
The IRMd kept a mapping from layer names to registered names, but this is obsolete since the introduction of the query functionality. Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be> Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'doc/man')
0 files changed, 0 insertions, 0 deletions