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.

Sign up for GitHub

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

Jump to bottom

Add .livemd as a markdown extension #22730

Merged
merged 3 commits into from
Apr 26, 2023
Merged

Add .livemd as a markdown extension #22730

merged 3 commits into from
Apr 26, 2023

Commits on Apr 26, 2023

  1. resolve conflicts and fix typo

    @techknowlogick
    techknowlogick committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    fee347d View commit details
    Browse the repository at this point in the history

  2. rm extra comma

    @techknowlogick
    techknowlogick committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    fdfbd3d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into feature-livemd-extension

    @GiteaBot
    GiteaBot authored Apr 26, 2023
    Configuration menu
    Copy the full SHA
    2795890 View commit details
    Browse the repository at this point in the history