diff options
| author |   Marcus Fritzsch <marcus_fritzsch@mentor.com> | 2017-08-09 15:57:18 +0200 |
|---|---|---|
| committer | Marcus Fritzsch <marcus_fritzsch@mentor.com> | 2017-08-11 10:13:48 +0200 |
| commit | ef1b8f5fa4c2e939e9b6f08069ee08d362ee0ee5 (patch) | |
| tree | c24e100f4e377a4eb1f597f0f1a29da599601cd4 /src/layout.hpp | |
| parent | 6e444881b679e72388f4bc76d5372f62f7f61145 (diff) | |
layers: fix json to actually include numbers
Actually use numbers where we had number-strings. This simplifies the
json parsing quite a bit.
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
Diffstat (limited to 'src/layout.hpp')
0 files changed, 0 insertions, 0 deletions