summaryrefslogtreecommitdiff
path: root/.devcontainer
AgeCommit message (Expand)Author
2023-05-29Meta: Remove unnecessary dot in file nameJosh Spicer
2023-05-24Meta: Hardcode lowercase repository name for devcontainerJelle Raaijmakers
2023-05-24Meta: Prebuild repo dev containerJosh Spicer
2022-12-16Meta: Add libssl-dev as a dependency to the devcontainerAgustin Gianni
2022-11-25Meta: Add devcontainer configuration for use with Github CodespacesAndrew Kaster