diff options
| author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-03-21 17:43:51 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-03-21 17:51:38 +0100 |
| commit | fd5508b8daec47e9f646c086d4cc310583154b97 (patch) | |
| tree | c27d93cee13d9183eecbef842575f94848b2f079 /src/da | |
| parent | 4230103ff633904c69cc18d861bf42781f57bb64 (diff) | |
| download | ouroboros-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 'src/da')
0 files changed, 0 insertions, 0 deletions