This repository was archived by the owner on Apr 13, 2022. It is now read-only.
Clarify and detail the definition of globbing to only apply to folders#148
Open
RubenVerborgh wants to merge 1 commit into
Open
Clarify and detail the definition of globbing to only apply to folders#148RubenVerborgh wants to merge 1 commit into
RubenVerborgh wants to merge 1 commit into