PP/.devcontainer
Sandro Leuchter 41854743a5 Migrate devcontainer to custom Dockerfile
Move configuration to .devcontainer directory, update to OpenJDK 25, and
add essential tooling like hyperfine and lazygit.
2026-06-20 09:10:59 +00:00
..
Dockerfile Migrate devcontainer to custom Dockerfile 2026-06-20 09:10:59 +00:00
devcontainer.json Migrate devcontainer to custom Dockerfile 2026-06-20 09:10:59 +00:00