3 Commits

Author	SHA1	Message	Date
Matthias	37da714610	Don't set zsh as default shell	2024-04-27 15:21:42 +02:00
Matthias	bd608bedf0	Use devcontainer features for most setup work	2024-04-27 11:55:37 +00:00
Matthias	6d46d17e30	Add pre-built devcontainer	2024-04-27 09:37:08 +00:00