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