Skip to content

Update tool configurations#162

Merged
cdce8p merged 3 commits intodevfrom
update-configuration
Apr 13, 2022
Merged

Update tool configurations#162
cdce8p merged 3 commits intodevfrom
update-configuration

Conversation

@cdce8p
Copy link
Copy Markdown
Owner

@cdce8p cdce8p commented Apr 13, 2022

No description provided.

@cdce8p cdce8p changed the title Update configuration Update tool configurations Apr 13, 2022
@cdce8p cdce8p merged commit c6f1583 into dev Apr 13, 2022
@cdce8p cdce8p deleted the update-configuration branch April 13, 2022 21:11
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