Skip to content
This repository has been archived by the owner on Apr 6, 2024. It is now read-only.

Add global.json #129

Merged
merged 1 commit into from
Dec 10, 2023
Merged

Add global.json #129

merged 1 commit into from
Dec 10, 2023

Conversation

pascalberger
Copy link
Member

Add global.json

@pascalberger pascalberger force-pushed the feature/global-json branch 2 times, most recently from 95402b1 to ab4f82a Compare December 10, 2023 21:49
@pascalberger pascalberger enabled auto-merge (squash) December 10, 2023 21:49
@pascalberger pascalberger merged commit 85042dc into develop Dec 10, 2023
4 checks passed
@pascalberger pascalberger deleted the feature/global-json branch December 10, 2023 22:11
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant