diff options
| author | Andy Wingo <wingo@pobox.com> | 2015-04-20 21:10:49 +0200 |
|---|---|---|
| committer | Andy Wingo <wingo@pobox.com> | 2015-04-20 21:10:49 +0200 |
| commit | 3559aa12c65a871824d925257531585a38e51f77 (patch) | |
| tree | 3d563ec508acb35785f2c69090d217a099e09c0b /tools/make-man-index.py | |
| parent | 1e65cb26be8a0d11a12c155af8f5740ec9b03415 (diff) | |
Remove unused and invalid udev definitions
These definitions were not valid when compiling against eudev.
Diffstat (limited to 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions