chiark / gitweb /
journald: when we detect the journal file we are about to write to has been deleted...
[elogind.git] / tools / make-man-index.py
2014-02-10 Karel Zakbuild-sys: move python helpers to tools directory