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

Console scripts #16

Merged
merged 16 commits into from
Jan 18, 2022
Merged

Console scripts #16

merged 16 commits into from
Jan 18, 2022

Commits on Jan 18, 2022

  1. Configuration menu
    Copy the full SHA
    174cb39 View commit details
    Browse the repository at this point in the history
  2. Add missing import.

    aleberti committed Jan 18, 2022
    Configuration menu
    Copy the full SHA
    d2dd7c8 View commit details
    Browse the repository at this point in the history
  3. Fix comparison.

    aleberti committed Jan 18, 2022
    Configuration menu
    Copy the full SHA
    080c3d0 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    9703428 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    2f0b3a7 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    2da27e8 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    4cc1640 View commit details
    Browse the repository at this point in the history
  8. Remove trailing whitespaces.

    aleberti committed Jan 18, 2022
    Configuration menu
    Copy the full SHA
    83b3e61 View commit details
    Browse the repository at this point in the history
  9. Use is not instead of !=.

    aleberti committed Jan 18, 2022
    Configuration menu
    Copy the full SHA
    de40115 View commit details
    Browse the repository at this point in the history
  10. Small formatting changes.

    aleberti committed Jan 18, 2022
    Configuration menu
    Copy the full SHA
    99cc186 View commit details
    Browse the repository at this point in the history
  11. Rename directories.

    aleberti committed Jan 18, 2022
    Configuration menu
    Copy the full SHA
    20f5816 View commit details
    Browse the repository at this point in the history
  12. Use new folder name.

    aleberti committed Jan 18, 2022
    Configuration menu
    Copy the full SHA
    06d47eb View commit details
    Browse the repository at this point in the history
  13. Use correct name.

    aleberti committed Jan 18, 2022
    Configuration menu
    Copy the full SHA
    ad45a1a View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    0b21711 View commit details
    Browse the repository at this point in the history
  15. Fix init.

    aleberti committed Jan 18, 2022
    Configuration menu
    Copy the full SHA
    01b8d2c View commit details
    Browse the repository at this point in the history
  16. Use boldface.

    aleberti committed Jan 18, 2022
    Configuration menu
    Copy the full SHA
    5105efd View commit details
    Browse the repository at this point in the history