diff options
author | 2018-06-01 10:49:40 +0200 | |
---|---|---|
committer | 2018-06-05 15:36:31 +0200 | |
commit | 6510f0c9d8b381240c81514cc2f2ce7e318cb7f0 (patch) | |
tree | c2293252b72dfe396862b7159633606071288204 /lava-master/device-types-patch | |
parent | 3588f8dc3fb68b3cc21178f3722e980dd9369d2a (diff) |
Allow to have device-types-patch
Diffstat (limited to 'lava-master/device-types-patch')
-rw-r--r-- | lava-master/device-types-patch/.empty | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lava-master/device-types-patch/.empty b/lava-master/device-types-patch/.empty new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/lava-master/device-types-patch/.empty |