Repository navigation

build: pin the patched ANTLR generator jar, drop stale ANTLR remnants - #1308

Merged

joaodinissf merged 1 commit into

dsldevkit:masterfrom

joaodinissf:chore/remove-stale-readme

Jun 17, 2026

Merged

build: pin the patched ANTLR generator jar, drop stale ANTLR remnants#1308
joaodinissf merged 1 commit into
dsldevkit:masterfrom
joaodinissf:chore/remove-stale-readme

Commits on Jun 17, 2026
- build: pin the patched ANTLR generator jar, drop stale ANTLR remnants
  
  joaodinissf
  and
  claude
  committed
  3055e9a