Antonio Rojas via arch-commits Sat, 21 Jul 2018 23:57:01 -0700
Date: Sunday, July 22, 2018 @ 06:56:10 Author: arojas Revision: 329357
extra2community: Moving freeciv from extra to community Deleted: freeciv/