Code

shader renames jansi#1977

Code

Merged

DavyLandman merged 5 commits intomainusethesource/rascal:mainfrom shader-renames-jansiusethesource/rascal:shader-renames-jansiCopy head branch name to clipboardJun 14, 2024

+17-7

Commits

Commits on Jun 13, 2024

• minor refactoring

  jurgenvinju

  committed
  62ffd53

  Copy full SHA for 62ffd53

• let shader rename jansi for compatibility with maven runtime

  jurgenvinju

  committed
  8af61f3

  Copy full SHA for 8af61f3

• ConsoleRascalMonitor was not printing steps

  jurgenvinju

  committed
  8680168

  Copy full SHA for 8680168

Commits on Jun 14, 2024

• Fixed relocation rules to also shade jline and avoid jansi internal

  DavyLandman

  committed
  80280ff

  Copy full SHA for 80280ff

• typo

  jurgenvinju

  committed
  5930198

  Copy full SHA for 5930198