diff options
| author | Damien George <damien.p.george@gmail.com> | 2020-04-20 11:50:36 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2020-04-22 14:07:56 +1000 |
| commit | 6e2871df597249d497e0f4c9b8feba20a6b91c94 (patch) | |
| tree | ed3d0eb7a43852ac5bdac3c2f7163ef945240138 /py/objstr.c | |
| parent | 8267f0866cf6d4b583cc3f6e8c4e15a3d81142c6 (diff) | |
tools/check_code_size.sh: Remove unused script.
It's now replaced by tools/metrics.py.
Diffstat (limited to 'py/objstr.c')
0 files changed, 0 insertions, 0 deletions