diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-02-12 00:55:38 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-02-12 01:10:31 -0500 |
| commit | 21ac6ff143cc8bebfbd1818af28e8c6f82cd5265 (patch) | |
| tree | a61fe8976bb0253d567db8621f3cb7de6d378aa2 /man/systemd.kill.xml | |
| parent | f366d58dc1fe51b300167446597750d29687c3c5 (diff) | |
man: use xinclude to de-deduplicate common text
I only tested with python-lxml. I'm not sure if xml.etree should be
deprecated.
Diffstat (limited to 'man/systemd.kill.xml')
0 files changed, 0 insertions, 0 deletions