[arch-commits] Commit in (antlr4)
Antonio Rojas
arojas at archlinux.org
Wed Jan 20 17:52:33 UTC 2021
Date: Wednesday, January 20, 2021 @ 17:52:32
Author: arojas
Revision: 406459
extra2community: Moving antlr4 from extra to community
Deleted:
antlr4/
More information about the arch-commits
mailing list