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

Add *WithIndex instances #12

Merged
merged 7 commits into from
Jan 17, 2020
Merged

Add *WithIndex instances #12

merged 7 commits into from
Jan 17, 2020

Commits on Jan 16, 2020

  1. add *WithIndex instances

    JBetz committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    852ac18 View commit details
    Browse the repository at this point in the history
  2. add lens to library

    JBetz committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    077aa9b View commit details
    Browse the repository at this point in the history
  3. add missing extensions

    JBetz committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    33b45fe View commit details
    Browse the repository at this point in the history
  4. resolve definition ordering

    JBetz committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    99b2cb6 View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2020

  1. Configuration menu
    Copy the full SHA
    f03b9c1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d0fe997 View commit details
    Browse the repository at this point in the history
  3. Add change log entry

    Ericson2314 committed Jan 17, 2020
    Configuration menu
    Copy the full SHA
    c6216d3 View commit details
    Browse the repository at this point in the history