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

Pragmatic naming #331

Merged
merged 7 commits into from
Feb 23, 2022
Merged

Pragmatic naming #331

merged 7 commits into from
Feb 23, 2022

Commits on Feb 22, 2022

  1. refact: ensure name is set by ctor

    @asmfstatoil
    asmfstatoil committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    1848820 View commit details
    Browse the repository at this point in the history

  2. fixed tests

    @asmfstatoil
    asmfstatoil committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    00c285b View commit details
    Browse the repository at this point in the history

  3. marked redundant constructors without name as deprecated

    @asmfstatoil
    asmfstatoil authored Feb 22, 2022
    Configuration menu
    Copy the full SHA
    c381f8c View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2022

  1. wip

    @asmfstatoil
    asmfstatoil committed Feb 23, 2022
    Configuration menu
    Copy the full SHA
    0e646dd View commit details
    Browse the repository at this point in the history

  2. wip

    @asmfstatoil
    asmfstatoil committed Feb 23, 2022
    Configuration menu
    Copy the full SHA
    a36bcdc View commit details
    Browse the repository at this point in the history

  3. w

    @asmfstatoil
    asmfstatoil committed Feb 23, 2022
    Configuration menu
    Copy the full SHA
    ad54beb View commit details
    Browse the repository at this point in the history

  4. w

    @asmfstatoil
    asmfstatoil committed Feb 23, 2022
    Configuration menu
    Copy the full SHA
    a8e423a View commit details
    Browse the repository at this point in the history