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

Feature/devcontainer #1057

Merged

KartoffelToby merged 1 commit into KartoffelToby:master from wtom:feature/devcontainer

Sep 19, 2023

Collaborator

wtom commented Sep 19, 2023 •

edited

Motivation:

my devcontainer wasn't working at all, so i made some changes. Hopefully those changes also work on a windows machine.

Changes:

Related issue (check one):

there is no related issue ticket

Checklist (check one):

The code change is tested and works locally.


          devcontainer changes

c1ad8ff

wtom force-pushed the feature/devcontainer branch from 2c8c139 to c1ad8ff Compare

September 19, 2023 12:24

KartoffelToby merged commit efdb7f8 into KartoffelToby:master

3 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment