2 Коммитов

Автор	SHA1	Сообщение	Дата
Markus Weimer	0d11941f19	Updated the dockerfile to be more comfy. ... This changes the Dockerfile to use a devcontainer base image. Also, this adds a setting to default to `bash` instead of `sh`.	2020-05-14 09:30:20 -07:00
Markus Weimer	4cc7505e2a	Added devcontainer configuration.	2020-05-12 11:20:36 -07:00