Rename parser goal 'All' to 'all' (#6867)

This commit is contained in:
Micha Reiser
2023-08-25 14:00:57 +02:00
committed by GitHub
parent 0b6dab5e3f
commit 15b7525464
2 changed files with 31009 additions and 36127 deletions

File diff suppressed because it is too large Load Diff