Add new utility to simplify searching (!190) · Merge requests · IGWN Computing and Software / IGWN Conda Distribution · GitLab

Duncan Macleod requested to merge cherry-pick-583fe3de into master Aug 26, 2020

Add new utility to simplify searching

See merge request !187 (merged)

(cherry picked from commit 583fe3de)

068894bf search.py: new utility to simplify searching