diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-07-22 21:28:31 -0400 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-07-22 21:28:31 -0400 |
commit | 2880b01d8f4b6c7be605a153e4cc729c04c05e67 (patch) | |
tree | 44a038245161f1b0af36757da0bf1bc06091253f /tools/make-man-index.py | |
parent | 31b14fdb6f2f018a9d67c9303aac9903b4227dbd (diff) | |
parent | fcd30826d4ea267563e2121b512e3cbe50aec1ca (diff) |
Merge pull request #3784 from poettering/NEWS-v231
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions