[arch-commits] Commit in (coin-or-mp)

[Antonio Rojas]

    Date: Saturday, May 9, 2015 @ 19:11:23
  Author: arojas
Revision: 238764

extra2community: Moving coin-or-mp from extra to community

Deleted:
  coin-or-mp/