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