[arch-commits] Commit in (eigen2)

Antonio Rojas arojas at archlinux.org
Fri Jul 8 06:23:22 UTC 2016


    Date: Friday, July 8, 2016 @ 06:23:21
  Author: arojas
Revision: 271180

Kill eigen2

Deleted:
  eigen2/



More information about the arch-commits mailing list