Code

Fix devcontainer juvix install#2061

Code

Merged

jonaprieto merged 1 commit intomainanoma/juvix:mainfrom devcontainer-juvix-release-installanoma/juvix:devcontainer-juvix-release-installCopy head branch name to clipboardMay 9, 2023

+1-1

Commits

Commits on May 9, 2023

• Fix devcontainer juvix install

  Show description for fcac5ca
  paulcadman

  committed
  fcac5ca

  Copy full SHA for fcac5ca