Skip to content

INI / JSON defaults#82

Merged
g105b merged 3 commits into
masterfrom
81-ini-json
May 18, 2026
Merged

INI / JSON defaults#82
g105b merged 3 commits into
masterfrom
81-ini-json

Conversation

@g105b
Copy link
Copy Markdown
Member

@g105b g105b commented May 18, 2026

closes #81

@g105b g105b merged commit f5e7cb0 into master May 18, 2026
26 checks passed
@g105b g105b deleted the 81-ini-json branch May 18, 2026 17:43
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.

gt build - use ini or json, depending on which file is available

1 participant