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

fix: Remove cloned ide2 before creating new one (#174) #175

Merged
merged 3 commits into from
Dec 10, 2022
Merged

fix: Remove cloned ide2 before creating new one (#174) #175

merged 3 commits into from
Dec 10, 2022

Commits on Dec 7, 2022

  1. fix: Remove cloned ide2 before creating new one (bpg#174)

    @michalg91
    michalg91 committed Dec 7, 2022
    Configuration menu
    Copy the full SHA
    42e28a6 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2022

  1. Merge branch 'main' into bugfix/remove_ide2_onclonecreate

    @bpg
    bpg authored Dec 8, 2022
    Configuration menu
    Copy the full SHA
    d5adbf3 View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2022

  1. add test case to /examples

    @bpg
    bpg committed Dec 10, 2022
    Configuration menu
    Copy the full SHA
    37b9026 View commit details
    Browse the repository at this point in the history