diff options
| author | Alice Frosi <afrosi@redhat.com> | 2023-05-17 13:20:13 +0200 |
|---|---|---|
| committer | Alice Frosi <afrosi@redhat.com> | 2023-05-17 13:20:13 +0200 |
| commit | 1e78526693d22abe24c98291a782998573f6b01d (patch) | |
| tree | 9ee8bf1a813e73d63962357fdd2318bd390d3bc0 /common | |
| parent | 504d9e38a528ca8bf6f658223a1935e9bc537d8a (diff) | |
| download | seitan-1e78526693d22abe24c98291a782998573f6b01d.tar seitan-1e78526693d22abe24c98291a782998573f6b01d.tar.gz seitan-1e78526693d22abe24c98291a782998573f6b01d.tar.bz2 seitan-1e78526693d22abe24c98291a782998573f6b01d.tar.lz seitan-1e78526693d22abe24c98291a782998573f6b01d.tar.xz seitan-1e78526693d22abe24c98291a782998573f6b01d.tar.zst seitan-1e78526693d22abe24c98291a782998573f6b01d.zip | |
Minor fixes for the filter and the eater
Add:
- ignore_args field for the filter.
- use MAX_FILTER to define the filter size in the eater
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions