Code

devcontainer: Use bash, add bashrc#90

Code

Merged

victorreijgwart merged 1 commit intoethz-asl:feature/better_devcontainerethz-asl/wavemap:feature/better_devcontainerfrom marcojob:feature/nicer-devcontainermarcojob/wavemap:feature/nicer-devcontainerCopy head branch name to clipboardDec 10, 2024

+2-1

Commits

Commits on Dec 6, 2024

• devcontainer: Use bash, add bashrc

  marcojob

  committed
  f8a566b

  Copy full SHA for f8a566b