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.

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

mutable head extension #17

Merged
merged 11 commits into from
Jan 27, 2021
Merged

mutable head extension #17

merged 11 commits into from
Jan 27, 2021

Commits on Sep 15, 2020

  1. Configuration menu
    Copy the full SHA
    c9eb903 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    703f9bb View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7154836 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    b3ab9a6 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2020

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

Commits on Nov 9, 2020

  1. update line formatting

    pwinckles committed Nov 9, 2020
    Configuration menu
    Copy the full SHA
    65839e6 View commit details
    Browse the repository at this point in the history
  2. fixed a few minor typos

    pwinckles committed Nov 9, 2020
    Configuration menu
    Copy the full SHA
    79e2d1b View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2020

  1. add extension version

    pwinckles committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    912cb06 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2020

  1. remove index changes

    pwinckles committed Dec 15, 2020
    Configuration menu
    Copy the full SHA
    0e2f7ad View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2021

  1. PR fixes

    pwinckles committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    65a43d2 View commit details
    Browse the repository at this point in the history
  2. Update commit definition

    pwinckles committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    5b10826 View commit details
    Browse the repository at this point in the history