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

Add more features and demos in docs #2257

Merged
merged 6 commits into from Oct 7, 2021
Merged

Add more features and demos in docs #2257

merged 6 commits into from Oct 7, 2021

Commits on Oct 5, 2021

  1. Add more features and demos

    @jneira
    jneira committed Oct 5, 2021
    Copy the full SHA
    5029b67 View commit details
    Browse the repository at this point in the history

  2. Link issue about jump to def

    @jneira
    jneira committed Oct 5, 2021
    Copy the full SHA
    e4a5399 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2021

  1. Move haddock build config 

    And discourage the use of a explicit hie.yaml
    @jneira
    jneira committed Oct 6, 2021
    Copy the full SHA
    cb348ff View commit details
    Browse the repository at this point in the history

  2. Remove haddock config from features

    @jneira
    jneira committed Oct 6, 2021
    Copy the full SHA
    9f308ee View commit details
    Browse the repository at this point in the history

  3. Correct link to haddock config

    @jneira
    jneira committed Oct 6, 2021
    Copy the full SHA
    1c8fc1a View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into jneira/add-features

    @mergify
    mergify[bot] committed Oct 6, 2021
    Copy the full SHA
    fa9edc8 View commit details
    Browse the repository at this point in the history