This repository was archived by the owner on Apr 13, 2022. It is now read-only.

Remove globbing#151

Open

RubenVerborgh wants to merge 2 commits into

feature/remove-globbing

Workflow runs completed with no jobs