Scott Shawcroft 50a6342f6d
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.
2020-07-03 12:54:48 -07:00
..
2020-01-28 13:48:40 -06:00
2020-03-31 13:03:53 +08:00
2020-05-27 11:30:51 -04:00
wip
2019-12-05 22:45:53 -05:00
2017-05-29 11:36:05 +03:00
2020-05-15 15:36:16 -07:00
2017-09-29 18:24:11 -07:00
2018-04-23 16:11:27 +10:00