Skip to content

Dev#15

Merged
JE-Chen merged 2 commits intomainfrom
dev
Jun 12, 2023
Merged

Dev#15
JE-Chen merged 2 commits intomainfrom
dev

Conversation

@JE-Chen
Copy link
Copy Markdown
Member

@JE-Chen JE-Chen commented Jun 12, 2023

No description provided.

JE-Chen added 2 commits June 12, 2023 15:25
Edit logging now will output log file
Update stable version
@JE-Chen JE-Chen merged commit 756bb03 into main Jun 12, 2023
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