Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove .mira files (unused) #134

Merged
merged 2 commits into from
Sep 5, 2023

Conversation

JoshdanG
Copy link
Collaborator

@JoshdanG JoshdanG commented Sep 3, 2023

Remove .mira files in the "mira" and "util" folders. We no longer use mira compiler, so these files are just noise. Copied relevant comments from them into .lua files.

Remove .mira files in the "mira" and "util" folders. We no longer use mira compiler, so these files are just noise.  Copied relevant comments from them into .lua files.
Missed it on the first pass
@ArcherWayne
Copy link
Collaborator

Agreed.

.mira files are obsolete now and only adds complexity.

Copy link
Owner

@adamqqqplay adamqqqplay left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for your hard work!

@adamqqqplay adamqqqplay merged commit 017f23c into adamqqqplay:master Sep 5, 2023
adamqqqplay added a commit that referenced this pull request Sep 15, 2023
This commit is a subsequent change of #134 PR.

Signed-off-by: AdamQQQ <adamqqq@163.com>
adamqqqplay added a commit that referenced this pull request Sep 16, 2023
This commit is a subsequent change of #134 PR.

Signed-off-by: AdamQQQ <adamqqq@163.com>
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.

3 participants