diff options
| author | Eric Wong <e@80x24.org> | 2020-11-23 07:05:53 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2020-11-24 05:03:55 +0000 |
| commit | c118d783a22a2080964899266c91c1a1ac69f481 (patch) | |
| tree | 1d1850f0d06ca1eeb62ce5047f6da0fbf203f897 /INSTALL | |
| parent | f1bdfad51c98825e7e2569aa34db7d3879fa9ef4 (diff) | |
| download | public-inbox-c118d783a22a2080964899266c91c1a1ac69f481.tar.gz | |
We'll be using this for MiscIdx and pre-generating the necessary JSON for manifest.js.gz, so make it easier to share code for generating per-repo JSON entries for grokmirror.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions