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

[WIP] Better scanning #44

Merged
merged 6 commits into from
Apr 12, 2020
Merged

[WIP] Better scanning #44

merged 6 commits into from
Apr 12, 2020

Commits on Apr 12, 2020

  1. Implement genpointings! and improve its interface

    @ziotom78
    ziotom78 committed Apr 12, 2020
    Configuration menu
    Copy the full SHA
    1419d95 View commit details
    Browse the repository at this point in the history

  2. Merge with master

    @ziotom78
    ziotom78 committed Apr 12, 2020
    Configuration menu
    Copy the full SHA
    62ab8b2 View commit details
    Browse the repository at this point in the history

  3. Remove conflict with HEAD

    @ziotom78
    ziotom78 committed Apr 12, 2020
    Configuration menu
    Copy the full SHA
    89f9c65 View commit details
    Browse the repository at this point in the history

  4. Make Tenerife's site the default and fix bug in genpointings

    @ziotom78
    ziotom78 committed Apr 12, 2020
    Configuration menu
    Copy the full SHA
    b958049 View commit details
    Browse the repository at this point in the history

  5. Use old Tenerife's location in tests

    @ziotom78
    ziotom78 committed Apr 12, 2020
    Configuration menu
    Copy the full SHA
    51e7e18 View commit details
    Browse the repository at this point in the history

  6. Update CHANGELOG

    @ziotom78
    ziotom78 committed Apr 12, 2020
    Configuration menu
    Copy the full SHA
    cf376d3 View commit details
    Browse the repository at this point in the history