diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-10-22 10:28:50 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-10-22 10:30:51 +0200 |
commit | fffc8765455be047f97e632db7f30e1883c566ad (patch) | |
tree | d44ad44742c27b593c884513f939c7c9e0d0d83e /lib/pipe-filter-gi.c | |
parent | ac7fd66617c1a3ace838b8660e70930c4182c1e0 (diff) | |
download | gnulib-fffc8765455be047f97e632db7f30e1883c566ad.tar.gz |
maintainer-makefile: update rule for argmatch
* top/maint.mk (sc_prohibit_argmatch_without_use): Add ARGMATCH_DEFINE_GROUP.
Diffstat (limited to 'lib/pipe-filter-gi.c')
0 files changed, 0 insertions, 0 deletions