Closed alcarney closed 1 month ago
See the commit messages for details, but this should make it possible for the Makefiles to be used both inside and outside a devcontainer :crossed_fingers:
See the commit messages for details, but this should make it possible for the Makefiles to be used both inside and outside a devcontainer :crossed_fingers: