Skip to content

Fix minimal example glob#12

Merged
aegilops merged 1 commit intomainfrom
fix-minimal-example
Dec 18, 2023
Merged

Fix minimal example glob#12
aegilops merged 1 commit intomainfrom
fix-minimal-example

Conversation

@aegilops
Copy link
Copy Markdown
Contributor

Fix the glob in the minimal example

Fix the glob in the minimal example
@aegilops aegilops merged commit ec8b05b into main Dec 18, 2023
@aegilops aegilops deleted the fix-minimal-example branch December 18, 2023 17:41
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