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

Gencommon updates for a gwrap impl (in stately) #23

Merged
merged 7 commits into from
Oct 17, 2023

Commits on Oct 17, 2023

  1. wip

    drshriveer committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    51fea88 View commit details
    Browse the repository at this point in the history
  2. commitble

    drshriveer committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    d5d83e4 View commit details
    Browse the repository at this point in the history
  3. ugh this has been annoying

    drshriveer committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    cb9bdcf View commit details
    Browse the repository at this point in the history
  4. rename paramNamesrename paramNamesrename paramNamesrename paramNamesr…

    …ename paramNamesrename paramNamesrename paramNamesrename paramNamesrename paramNames
    drshriveer committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    2df6b14 View commit details
    Browse the repository at this point in the history
  5. fix interface handling

    drshriveer committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    f9ca539 View commit details
    Browse the repository at this point in the history
  6. humm

    drshriveer committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    0dcba52 View commit details
    Browse the repository at this point in the history
  7. remove duplicate alias

    drshriveer committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    c0eb8b8 View commit details
    Browse the repository at this point in the history