diff options
| author | Vincent Ambo <tazjin@google.com> | 2019-10-28T21·39+0100 |
|---|---|---|
| committer | Vincent Ambo <github@tazj.in> | 2019-10-29T18·16+0100 |
| commit | 2d4a3ea307350e1f7495a4fb6c6f5a37d10d3912 (patch) | |
| tree | be189aee1dd7d1755a15ca182db547edd2f4d869 /tools/nixery/popcount/empty.json | |
| parent | 904c3dade00881c6872dc633a135e12bdfe7e76b (diff) | |
chore(server): Remove outdated TODO
Real-life experience has shown that the weighting of the metric produced here is appropriate.
Diffstat (limited to 'tools/nixery/popcount/empty.json')
0 files changed, 0 insertions, 0 deletions