| commit | d29a684d41c8497a1d8f00e3239754c174ff600c | [log] [tgz] |
|---|---|---|
| author | Andrew Pickford <anpickford@googlemail.com> | Wed Sep 06 14:49:08 2017 +0200 |
| committer | Andrew Pickford <anpickford@googlemail.com> | Wed Sep 06 14:49:08 2017 +0200 |
| tree | ed70c44ecb56a24885810dad4b8b02091704a9ba | |
| parent | 62f2ef0a34df30c6de652df07e9e695e18248617 [diff] |
remove unused function deepest_match_in