tree ed70c44ecb56a24885810dad4b8b02091704a9ba
parent 62f2ef0a34df30c6de652df07e9e695e18248617
author Andrew Pickford <anpickford@googlemail.com> 1504702148 +0200
committer Andrew Pickford <anpickford@googlemail.com> 1504702148 +0200

remove unused function deepest_match_in