diff options
author | Colin Watson <cjwatson@debian.org> | 2022-09-18 00:18:53 +0100 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2022-09-18 00:18:53 +0100 |
commit | 54d211aeedb2179b23ce4fe22e3476567339d23c (patch) | |
tree | f4292672557a8d94af9f8d5644451b42e2f9e7ae /man/es/Makefile.in | |
parent | 3966a88e15b6d5dac7101393449a6ebc18c2c281 (diff) |
Allow reprotest to fail in CI
Diffstat (limited to 'man/es/Makefile.in')
0 files changed, 0 insertions, 0 deletions