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

[WIP] Feature/properties in boundary definitions #113

Open
wants to merge 8 commits into
base: main
Choose a base branch
from
Open

[WIP] Feature/properties in boundary definitions #113

wants to merge 8 commits into from

Commits on Jul 19, 2018

  1. Add initial implementation 

    Signed-off-by: Vladimir Yussupov <[email protected]>
    @v-yussupov
    v-yussupov committed Jul 19, 2018
    5 Configuration menu
    Copy the full SHA
    f2fbee3 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2018

  1. Merge remote-tracking branch 'upstream/master' into feature/issue-199 

    Signed-off-by: Vladimir Yussupov <[email protected]>
    @v-yussupov
    v-yussupov committed Aug 1, 2018
    Configuration menu
    Copy the full SHA
    c7dd8a2 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2018

  1. Improve initial implementation 

    Signed-off-by: Vladimir Yussupov <[email protected]>
    @v-yussupov
    v-yussupov committed Aug 3, 2018
    Configuration menu
    Copy the full SHA
    9d68b3d View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master' into feature/issue-199 

    Signed-off-by: Vladimir Yussupov <[email protected]>
    @v-yussupov
    v-yussupov committed Aug 3, 2018
    Configuration menu
    Copy the full SHA
    7288da7 View commit details
    Browse the repository at this point in the history

  3. Remove unused imports 

    Signed-off-by: Vladimir Yussupov <[email protected]>
    @v-yussupov
    v-yussupov committed Aug 3, 2018
    Configuration menu
    Copy the full SHA
    5aad601 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2018

  1. Add requested changes 

    Signed-off-by: Vladimir Yussupov <[email protected]>
    @v-yussupov
    v-yussupov committed Aug 9, 2018
    Configuration menu
    Copy the full SHA
    c2f8beb View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2020

  1. Merge branch 'master' into feature/issue-199

    @lharzenetter
    lharzenetter committed Feb 14, 2020
    Configuration menu
    Copy the full SHA
    1b974b6 View commit details
    Browse the repository at this point in the history

  2. fix missing import

    @lharzenetter
    lharzenetter committed Feb 14, 2020
    Configuration menu
    Copy the full SHA
    5f2e739 View commit details
    Browse the repository at this point in the history