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

change dir name to docs and edit README for that #588

Merged
merged 5 commits into from
Apr 27, 2022
Merged

change dir name to docs and edit README for that #588

merged 5 commits into from
Apr 27, 2022

Commits on Apr 25, 2022

  1. change dir name to docs and edit README for that

    @david-deboer
    david-deboer committed Apr 25, 2022
    Configuration menu
    Copy the full SHA
    a815e47 View commit details
    Browse the repository at this point in the history

  2. updated precommit to new version

    @david-deboer
    david-deboer committed Apr 25, 2022
    Configuration menu
    Copy the full SHA
    b8ed0bf View commit details
    Browse the repository at this point in the history

  3. Rename Docs -> docs

    @plaplant
    plaplant committed Apr 25, 2022
    Configuration menu
    Copy the full SHA
    6299075 View commit details
    Browse the repository at this point in the history

  4. Update pre-commit versions; make associated formatting changes

    @plaplant
    plaplant committed Apr 25, 2022
    Configuration menu
    Copy the full SHA
    84c87b8 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2022

  1. Add new test to cover missed line

    @plaplant
    plaplant committed Apr 26, 2022
    Configuration menu
    Copy the full SHA
    f5e3f42 View commit details
    Browse the repository at this point in the history