[arch-commits] Commit in (schedtool)

[Antonio Rojas via arch-commits]

    Date: Tuesday, February 6, 2018 @ 17:30:30
  Author: arojas
Revision: 316097

extra2community: Moving schedtool from extra to community

Deleted:
  schedtool/