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

enableif: simpler and more powerful alternative to concepts #12048

Closed
wants to merge 6 commits into from

Commits on Mar 10, 2020

  1. Configuration menu
    Copy the full SHA
    1add71d View commit details
    Browse the repository at this point in the history
  2. more flexible enableif

    timotheecour committed Mar 10, 2020
    Configuration menu
    Copy the full SHA
    9dd046b View commit details
    Browse the repository at this point in the history
  3. add tests

    timotheecour committed Mar 10, 2020
    Configuration menu
    Copy the full SHA
    5758eb0 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    6ee39a0 View commit details
    Browse the repository at this point in the history
  5. fixup

    timotheecour committed Mar 10, 2020
    Configuration menu
    Copy the full SHA
    c6845ad View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    3b6dcd8 View commit details
    Browse the repository at this point in the history