diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2020-07-03 12:54:48 -0700 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2020-07-03 12:54:48 -0700 |
| commit | 50a6342f6d4a8f7fb776bd8a95fc6b2c7b5ed514 (patch) | |
| tree | 88806007e7cc4888bfce4e9d37fe9dcceb6ad236 /tools/tinytest-codegen.py | |
| parent | ed34d52efd08dce5253e7dc847ac5cdbd49c96fd (diff) | |
Shrink files.json by using one space instead of four.
Also:
- Remove download count update because the files are no longer
on GitHub.
- Add "extensions" and "languages" to each board dictionary so we
can stop using "files" entirely.
Diffstat (limited to 'tools/tinytest-codegen.py')
0 files changed, 0 insertions, 0 deletions
