chiark / gitweb /
label: minor optimizations
[elogind.git] / tools / make-man-index.py
2014-02-10 Karel Zakbuild-sys: move python helpers to tools directory