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-directive-index.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-directive-index.py')
0 files changed, 0 insertions, 0 deletions