diff options
author | Marcus Fritzsch <marcus_fritzsch@mentor.com> | 2017-08-01 17:13:03 +0200 |
---|---|---|
committer | Marcus Fritzsch <marcus_fritzsch@mentor.com> | 2017-08-08 17:24:00 +0200 |
commit | b91112b2514ccf6e9a57a0ed40d26fa709805af6 (patch) | |
tree | 1512c29842985a0b367fc5fb5d81579d4d5ae7fa | |
parent | ef35039988c64c66c252b01827081ae8cabaa811 (diff) |
rename ids.json to layers.json, because that's what is is.
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
-rw-r--r-- | layers.json (renamed from ids.json) | 0 |
1 files changed, 0 insertions, 0 deletions