diff options
author | Thomas H. P. Andersen <phomes@gmail.com> | 2016-10-11 19:51:03 +0200 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-10-11 13:51:03 -0400 |
commit | f68c9dd5c6d0862cbcc89d5339715128a3b5d4a9 (patch) | |
tree | fd17bd454c26c936a8a7d66428a3de48945fef01 /src/core/execute.c | |
parent | 56b4c80b429d7707af36f1f9b8192c9a51b43e5f (diff) |
resolve: remove unsed counter (#4349)
It was introduced but never used in 45ec7efb.
Diffstat (limited to 'src/core/execute.c')
0 files changed, 0 insertions, 0 deletions