Skip to content

oh we need tea init#34

Merged
mxcl merged 2 commits intomainfrom
v0.7.0
Mar 8, 2023
Merged

oh we need tea init#34
mxcl merged 2 commits intomainfrom
v0.7.0

Conversation

@mxcl
Copy link
Contributor

@mxcl mxcl commented Mar 8, 2023

No description provided.

mxcl added 2 commits March 8, 2023 16:46
* We use a lot of tools and the user’s configuration may interfere.
* Prevents anything that builds do from breaking the user’s own config and system
@mxcl mxcl merged commit 00d835c into main Mar 8, 2023
@mxcl mxcl deleted the v0.7.0 branch March 8, 2023 22:13
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