Skip to content

Conversation

@paolopas
Copy link
Contributor

also renamed GLOB/GLOB_ARCHIVE parameter case-insensitive to downcase-opt to follow the existing documentation (which better explain its meaning.)

renamed GLOB/GLOB_ARCHIVE parameter case-insensitive to downcase-opt to
follow the existing documentation (which explain better its meaning).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant