diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-11-07 18:11:53 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-11-07 21:37:50 -0500 |
| commit | 599b6322f19ec619ddc294d0e7880b669040cf66 (patch) | |
| tree | 8091fef248f59d3e5a06af49e06c593cf1731745 /tools/check-includes.pl | |
| parent | 9a67bcf27554ee0688198e4d4eb5e541861bf7cb (diff) | |
man: document --failed
https://bugs.debian.org/767267
Diffstat (limited to 'tools/check-includes.pl')
0 files changed, 0 insertions, 0 deletions