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

Operation icons #73

Merged
merged 9 commits into from
Dec 9, 2021
Merged

Operation icons #73

merged 9 commits into from
Dec 9, 2021

Commits on Dec 8, 2021

  1. new build;

    Oleg committed Dec 8, 2021
    Configuration menu
    Copy the full SHA
    311628f View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2021

  1. add build

    Oleg committed Dec 9, 2021
    Configuration menu
    Copy the full SHA
    ddd8376 View commit details
    Browse the repository at this point in the history

  2. another build

    Oleg committed Dec 9, 2021
    Configuration menu
    Copy the full SHA
    e6b1c13 View commit details
    Browse the repository at this point in the history

  3. added shortbuts panel + icon

    Oleg committed Dec 9, 2021
    Configuration menu
    Copy the full SHA
    2c760a8 View commit details
    Browse the repository at this point in the history

  4. resolve conflicts

    Oleg committed Dec 9, 2021
    Configuration menu
    Copy the full SHA
    2d9e720 View commit details
    Browse the repository at this point in the history

  5. new build

    Oleg committed Dec 9, 2021
    Configuration menu
    Copy the full SHA
    8994713 View commit details
    Browse the repository at this point in the history

  6. Manual merge of upstream and local rebuild.

    Oleg committed Dec 9, 2021
    Configuration menu
    Copy the full SHA
    1efc049 View commit details
    Browse the repository at this point in the history

  7. pull in web-ifc with the safari fix for build

    Oleg committed Dec 9, 2021
    Configuration menu
    Copy the full SHA
    1f0565e View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main' into operation_icons

    Oleg committed Dec 9, 2021
    Configuration menu
    Copy the full SHA
    230a1f3 View commit details
    Browse the repository at this point in the history