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

Add global.json #205

Merged
merged 1 commit into from
Dec 16, 2023
Merged

Add global.json #205

merged 1 commit into from
Dec 16, 2023

Conversation

pascalberger
Copy link
Member

Add global.json

@pascalberger pascalberger force-pushed the feature/global-json branch 2 times, most recently from e969c58 to 39ce2ba Compare December 16, 2023 13:25
@pascalberger pascalberger enabled auto-merge (squash) December 16, 2023 13:27
@pascalberger pascalberger merged commit 2f8f4e9 into develop Dec 16, 2023
@pascalberger pascalberger deleted the feature/global-json branch December 16, 2023 13:37
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