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

Extended copyable visitor #383

Merged
merged 4 commits into from
Jul 31, 2023
Merged

Extended copyable visitor #383

merged 4 commits into from
Jul 31, 2023

Commits on Jul 31, 2023

  1. [python] Extended copyable visitor

    @cmastalli @jcarpent
    cmastalli authored and jcarpent committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    ac3b7c8 View commit details
    Browse the repository at this point in the history

  2. [pre-commit.ci] auto fixes from pre-commit.com hooks 

    for more information, see https://pre-commit.ci
    @pre-commit-ci @jcarpent
    pre-commit-ci[bot] authored and jcarpent committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    0abb812 View commit details
    Browse the repository at this point in the history

  3. [copyright] Updated copyright

    @cmastalli @jcarpent
    cmastalli authored and jcarpent committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    88e3906 View commit details
    Browse the repository at this point in the history

  4. core: fix copyright holders

    @jcarpent
    jcarpent authored Jul 31, 2023
    Configuration menu
    Copy the full SHA
    f3edc2e View commit details
    Browse the repository at this point in the history