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

Dev page fix #5

Closed
wants to merge 3 commits into from
Closed

Dev page fix #5

wants to merge 3 commits into from

Conversation

1870944317
Copy link
Collaborator

No description provided.

Copy link
Owner

@SleepyLGod SleepyLGod left a comment

Choose a reason for hiding this comment

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

😭I'm sorry, and I'm afraid that there are still some disturbing things to be fixed and modified.

  • You can add some more CSS configuration to beautify the web page;
  • You can adjust some indentation related settings.

@SleepyLGod SleepyLGod added bug Something isn't working enhancement New feature or request question Further information is requested labels Oct 11, 2022
@SleepyLGod SleepyLGod linked an issue Oct 11, 2022 that may be closed by this pull request
11 tasks
@SleepyLGod SleepyLGod closed this Oct 11, 2022
@SleepyLGod SleepyLGod reopened this Oct 11, 2022
@SleepyLGod SleepyLGod closed this Oct 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working enhancement New feature or request question Further information is requested
Projects
None yet
Development

Successfully merging this pull request may close these issues.

enhancement: convert the mp3 files to midi files and play them dynamically
2 participants