Skip to content

[CHORE] MP3 Sound Files#30

Merged
CrusherNotDrip merged 1 commit into
TilNotDrip:alphafrom
BaranMuzu:chore-oggtomp3
May 13, 2026
Merged

[CHORE] MP3 Sound Files#30
CrusherNotDrip merged 1 commit into
TilNotDrip:alphafrom
BaranMuzu:chore-oggtomp3

Conversation

@BaranMuzu
Copy link
Copy Markdown
Contributor

this pull request converts ogg sound files to mp3. for html build!

@github-actions github-actions Bot added PR: Assets This pull request is changing an asset. PR: Misc This pull request changes something that doesn't fit other tags. Size: Small The amount of changes inside this pull request is small. labels May 13, 2026
@CrusherNotDrip
Copy link
Copy Markdown
Member

im gonna merge without looking

@CrusherNotDrip
Copy link
Copy Markdown
Member

some are 1 byte whether they have been modified or added im not gonna worry too much about it

@BaranMuzu
Copy link
Copy Markdown
Contributor Author

you should look i dont trust myself-

@CrusherNotDrip CrusherNotDrip merged commit 7868cf0 into TilNotDrip:alpha May 13, 2026
1 check passed
@BaranMuzu
Copy link
Copy Markdown
Contributor Author

watch the game break /silly

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PR: Assets This pull request is changing an asset. PR: Misc This pull request changes something that doesn't fit other tags. Size: Small The amount of changes inside this pull request is small.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants