Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Fix nonstdid parsing and $ parsing in import #313

Merged
merged 4 commits into from
Nov 3, 2021
Merged

Fix nonstdid parsing and $ parsing in import #313

merged 4 commits into from
Nov 3, 2021

Commits on Sep 24, 2021

  1. Configuration menu
    Copy the full SHA
    f0706d0 View commit details
    Browse the repository at this point in the history
  2. fix test

    pfitzseb committed Sep 24, 2021
    Configuration menu
    Copy the full SHA
    152818b View commit details
    Browse the repository at this point in the history
  3. fix 311

    pfitzseb committed Sep 24, 2021
    Configuration menu
    Copy the full SHA
    1a9d551 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2021

  1. Configuration menu
    Copy the full SHA
    eb76616 View commit details
    Browse the repository at this point in the history