Revision 1348671

Jump to revision:
Author:	luigiwalser
Date:	Wed Jan 2 12:29:47 2019 UTC (5 years, 3 months ago)
Changed paths:	2
Log Message:	- drop unused libpgf

Changed paths

Path	Details
cauldron/libpgf/	deleted
obsolete/libpgf/ (Copied from cauldron/libpgf, r1348670)	added