Christoph Junghans a685372636 Revert "Use cflags instead of the args variable (#5756)" (#5765) ... This reverts commit 6c3184820a.		2017-10-14 13:55:02 +02:00
..
gnulib-pgi.patch
package.py	Revert "Use cflags instead of the args variable (#5756)" (#5765)	2017-10-14 13:55:02 +02:00
pgi.patch