minor: example of run for diff_antlr.sh and hack avoid pull of forked repo#909

Open

romani wants to merge 1 commit intomasterfrom diff-antlr-example-of-run

+14-12

Commits on Nov 16, 2024

minor: example of run for diff_antlr.sh and hack avoid pull of forked repo
romani
committed