diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-08-07 21:48:57 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-08-07 21:48:57 -0400 |
| commit | fa9d4be3f1f4a792b2f3624c2a08fe9cc6ce6e54 (patch) | |
| tree | 374da68041fd977e0abcfce2cb26e53306f6f592 /tools/make-man-index.py | |
| parent | 5e34b37c9fec5da130f6549ddabd8a2af5c9faac (diff) | |
hwdb: update format description and document reloading
https://bugs.freedesktop.org/show_bug.cgi?id=82311
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions