[arch-commits] Commit in (knights)

[Antonio Rojas via arch-commits]

    Date: Friday, November 16, 2018 @ 07:46:43
  Author: arojas
Revision: 408008

community2extra: Moving knights from community to extra

Deleted:
  knights/