[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