This repository was archived by the owner on Jan 23, 2026. It is now read-only.

pin python inside devcontainer#776

Merged

mangelajo merged 1 commit intomainfrom

Dec 11, 2025

Commits on Dec 10, 2025

pin python inside devcontainer
mangelajo
committed