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

docs: better syntax highlighting #652

Merged
merged 13 commits into from
Oct 20, 2023
Merged

docs: better syntax highlighting #652

merged 13 commits into from
Oct 20, 2023

Commits on Oct 19, 2023

  1. docs: basic syntax highlighting

    @lars-reimann
    lars-reimann committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    76dea58 View commit details
    Browse the repository at this point in the history

  2. docs: syntax highlighting of all keywords

    @lars-reimann
    lars-reimann committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    1456b72 View commit details
    Browse the repository at this point in the history

  3. docs: syntax highlighting of number

    @lars-reimann
    lars-reimann committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    24eabe8 View commit details
    Browse the repository at this point in the history

  4. docs: finish syntax highlighting

    @lars-reimann
    lars-reimann committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    721cc04 View commit details
    Browse the repository at this point in the history

  5. docs: fix broken links

    @lars-reimann
    lars-reimann committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    8973bbe View commit details
    Browse the repository at this point in the history

  6. style: fix some linter errors

    @lars-reimann
    lars-reimann committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    5c62cee View commit details
    Browse the repository at this point in the history

  7. style: fix some linter errors

    @lars-reimann
    lars-reimann committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    2688a53 View commit details
    Browse the repository at this point in the history

  8. style: fix some linter errors

    @lars-reimann
    lars-reimann committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    5cb6aaa View commit details
    Browse the repository at this point in the history

  9. docs: improve syntax highlighting

    @lars-reimann
    lars-reimann committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    1f52173 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. docs: improve syntax highlighting

    @lars-reimann
    lars-reimann committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    b5bf5e8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into better-syntax-highlighting 

    # Conflicts:
#	docs/lexer/safe_ds_lexer/_safe_ds_lexer.py
    @lars-reimann
    lars-reimann committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    d089706 View commit details
    Browse the repository at this point in the history

  3. style: apply automated linter fixes

    @megalinter-bot
    megalinter-bot committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    2f4cc48 View commit details
    Browse the repository at this point in the history

  4. fix: remove incorrectly added line again

    @lars-reimann
    lars-reimann committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    b77e702 View commit details
    Browse the repository at this point in the history