ignore-value: handle pointer types, too
[gnulib.git] / modules / pipe-filter-ii
2009-08-02 Bruno HaibleNew module 'pipe-filter-ii'.