Date: Tuesday, December 19, 2017 @ 07:07:16 Author: bpiotrowski Revision: 313340
extra2community: Moving fig2dev from extra to community Deleted: fig2dev/
Bartłomiej Piotrowski via arch-commits Mon, 18 Dec 2017 23:07:52 -0800
Date: Tuesday, December 19, 2017 @ 07:07:16 Author: bpiotrowski Revision: 313340
extra2community: Moving fig2dev from extra to community Deleted: fig2dev/