use json for region map sections

Browse Source

- update nlohmann/json and pantor/inja in tools/
  - create new inja template

...

This commit is contained in:

garakmon

2022-04-04 23:22:43 -04:00

parent 5160520639

commit 3fe423a6f4

8 changed files with 14642 additions and 12588 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

tools/jsonproc/nlohmann/json.hpp

+10438 -9148

File diff suppressed because it is too large Load Diff