diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-10-10 21:24:57 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-10 21:24:57 -0400 |
| commit | ec72b963666020003d780fcc0751bc84da14e258 (patch) | |
| tree | f65b1621f23a506a08e10b42a024890c572b396a /tools/make-man-rules.py | |
| parent | 19f0cf65c945884d19c91667a683dac084f0a944 (diff) | |
| parent | 052364d41f432c5a2357122a41d5f60cabb63a5e (diff) | |
Merge pull request #4337 from poettering/exit-code
Fix for #4275 and more
Diffstat (limited to 'tools/make-man-rules.py')
0 files changed, 0 insertions, 0 deletions