[arch-commits] Commit in (jedit)
Antonio Rojas
arojas at archlinux.org
Sat May 8 09:15:09 UTC 2021
Date: Saturday, May 8, 2021 @ 09:15:09
Author: arojas
Revision: 928711
Spring '21 cleanup
Deleted:
jedit/
More information about the arch-commits
mailing list