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

Fix multi-line comment bug #3

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

Fix multi-line comment bug #3

wants to merge 5 commits into from

Commits on Jun 22, 2023

  1. proof of multiline comment bug

    @slorber
    slorber committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    51f4ca3 View commit details
    Browse the repository at this point in the history

  2. fix multi-line comments edge case

    @slorber
    slorber committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    457a2f8 View commit details
    Browse the repository at this point in the history

  3. add "blank line" tests

    @slorber
    slorber committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    5b69693 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2023

  1. Add recommended fix from Titus

    @slorber
    slorber committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    f496b9d View commit details
    Browse the repository at this point in the history

  2. test with dev assertions

    @slorber
    slorber committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    426dde7 View commit details
    Browse the repository at this point in the history