diff options
| author | Tom Gundersen <teg@jklm.no> | 2014-09-09 12:23:19 +0200 |
|---|---|---|
| committer | Tom Gundersen <teg@jklm.no> | 2014-09-09 15:03:49 +0200 |
| commit | b081b27e1433cdc7ac72b25ae8b4db887d79187f (patch) | |
| tree | 53ca70a51de3f25743e40d43a3fdbdc3fe4595e5 /tools/make-man-index.py | |
| parent | 72ba9f04f95bc6eda1e32fdd21ea56476713a5bc (diff) | |
udev: import the full db on MOVE events for devices without dev_t
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions