diff options
| author | Andy Wingo <wingo@pobox.com> | 2015-04-19 16:33:42 +0200 |
|---|---|---|
| committer | Andy Wingo <wingo@pobox.com> | 2015-04-19 16:33:42 +0200 |
| commit | d2754bc70c701255ea5b595f82147d3b8eea9acc (patch) | |
| tree | b65a907f25479987bb0a76b01ab3193bdd12a8e7 /tools/make-directive-index.py | |
| parent | 96408316212ad291aa1986a1bc91e682404cdb04 (diff) | |
Remove gudev check
Diffstat (limited to 'tools/make-directive-index.py')
0 files changed, 0 insertions, 0 deletions