summaryrefslogtreecommitdiff
path: root/tools/make-man-index.py
diff options
context:
space:
mode:
authorLennart Poettering <lennart@poettering.net>2016-01-12 02:03:23 +0100
committerLennart Poettering <lennart@poettering.net>2016-01-12 02:03:23 +0100
commitf466acdc633fc496961eff0c7f66501f4588e5b6 (patch)
tree753eed3ff217ec8578fc6d1ecb86f6ed7ced2517 /tools/make-man-index.py
parenta41a7181c9af8f9ac93a85a2cf133294dd202c8e (diff)
parent48cef29504b1ffc0df9929f2d8b2af2ad74d2b4a (diff)
Merge pull request #2290 from vcaputo/normalize-log-source-priorities
journal: normalize priority of logging sources
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions