diff options
author | Karel Zak <kzak@redhat.com> | 2014-02-10 10:37:11 +0100 |
---|---|---|
committer | Tom Gundersen <teg@jklm.no> | 2014-02-10 13:00:19 +0100 |
commit | bfb35cfda11d529f02c698e87ae298309a776305 (patch) | |
tree | 9751c81ae67d521dd767c74b96979e5cf72e34be /make-man-index.py | |
parent | 63a1b905d83b8d223f78822122c71860c1b613d1 (diff) |
build-sys: add check-includes build target and script
Diffstat (limited to 'make-man-index.py')
0 files changed, 0 insertions, 0 deletions