diff options
| author | Andy Wingo <wingo@pobox.com> | 2015-04-19 16:34:28 +0200 |
|---|---|---|
| committer | Andy Wingo <wingo@pobox.com> | 2015-04-19 16:34:28 +0200 |
| commit | 8db5f481522eb944b474a53155698e15689a2607 (patch) | |
| tree | 4a43fd88ae448da5d9a7a804cf281da53bbdcb01 /tools/make-directive-index.py | |
| parent | d2754bc70c701255ea5b595f82147d3b8eea9acc (diff) | |
Remove hwdb check
Diffstat (limited to 'tools/make-directive-index.py')
0 files changed, 0 insertions, 0 deletions