[arch-commits] Commit in giac (repos)

[Antonio Rojas]

    Date: Tuesday, January 3, 2017 @ 17:48:58
  Author: arojas
Revision: 204822

Deleted:
  giac/repos/