Ondřej Čertík 6c3184820a Use cflags instead of the args variable (#5756) ... That way the user can still append things to CFLAGS.		2017-10-13 15:15:06 -06:00
..
gnulib-pgi.patch
package.py	Use cflags instead of the args variable (#5756)	2017-10-13 15:15:06 -06:00
pgi.patch