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

Miscellaneous fixes. #60

Merged
merged 5 commits into from
Jul 27, 2023
Merged

Miscellaneous fixes. #60

merged 5 commits into from
Jul 27, 2023

Commits on Jul 27, 2023

  1. Repair broken help strings. 

    Various help strings were broken in ebf77a2,
perhaps by an overly-ambitious search and replace. :D
    @jonathanknowles
    jonathanknowles committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    9497437 View commit details
    Browse the repository at this point in the history

  2. Wrap long lines to meet coding standard for this repository. 

    (Maximum length 80 characters.)
    @jonathanknowles
    jonathanknowles committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    b46285c View commit details
    Browse the repository at this point in the history

  3. Use explicit imports for PrettyPrinter in app/Main.

    @jonathanknowles
    jonathanknowles committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    0db7243 View commit details
    Browse the repository at this point in the history

  4. Extract out common unsafe HRP parsing code into utility function.

    @jonathanknowles
    jonathanknowles committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    00beb2e View commit details
    Browse the repository at this point in the history

  5. Remove extraneous blank lines.

    @jonathanknowles
    jonathanknowles committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    8c37068 View commit details
    Browse the repository at this point in the history