summaryrefslogtreecommitdiff
path: root/src/tools/irm
diff options
context:
space:
mode:
authorDimitri Staessens <[email protected]>2018-03-21 17:43:51 +0100
committerSander Vrijders <[email protected]>2018-03-21 17:51:38 +0100
commitfd5508b8daec47e9f646c086d4cc310583154b97 (patch)
treec27d93cee13d9183eecbef842575f94848b2f079 /src/tools/irm
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 <[email protected]> Signed-off-by: Sander Vrijders <[email protected]>
Diffstat (limited to 'src/tools/irm')
0 files changed, 0 insertions, 0 deletions