diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2018-06-16 08:37:52 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-16 08:37:52 -0700 |
| commit | 35ead7bf39d5bf845f547db60109d454ee3e8944 (patch) | |
| tree | f66713aa8c13b4302b1ef8f701b246d2d7992e02 /tools/insert-usb-ids.py | |
| parent | 92b531d0c3ae9a6422af5f6bb780501bee099a2e (diff) | |
| parent | f15288993875360dcc2c62b86110ea3c748ee267 (diff) | |
Merge pull request #935 from dhalbert/mount_name_clash_check
do not permit mounting over a directory or file with the same name as the mount point
Diffstat (limited to 'tools/insert-usb-ids.py')
0 files changed, 0 insertions, 0 deletions