Code

Devcontainer enhancements#1486

Code

Merged

hanjoosten merged 5 commits intomainAmpersandTarski/Ampersand:mainfrom upgrade-ghcAmpersandTarski/Ampersand:upgrade-ghcCopy head branch name to clipboardMay 16, 2024

+24-15

Commits

Commits on May 12, 2024

• Don't upgrade stack, it has already the correct version

  

  hanjoosten

  committed
  f2a2cd5

• Add ssh support to devcontainer

  

  hanjoosten

  committed
  79b8e65

• minor fix devcontainer

  

  hanjoosten

  committed
  acf4715

Commits on May 14, 2024

• Add line history plugin

  

  hanjoosten

  committed
  085e41a

Commits on May 15, 2024

• bump version to 5.1.1

  

  hanjoosten

  committed
  9d2ad3f