diff options
| author | Lennart Poettering <lennart@poettering.net> | 2013-11-07 21:28:15 +0100 |
|---|---|---|
| committer | Lennart Poettering <lennart@poettering.net> | 2013-11-07 21:28:15 +0100 |
| commit | 74c7b1ed052fc42d9841a5d83d310fa96124c47c (patch) | |
| tree | a237549e579c88b37c85827f700ade51d97132bf /make-man-index.py | |
| parent | 5b30bef856e89a571df57b7b953e9a1409d9aced (diff) | |
machinectl: show list headers even if we pipe, since that appears to be the usual way
Diffstat (limited to 'make-man-index.py')
0 files changed, 0 insertions, 0 deletions