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