diff --git a/thirdparty/DKM b/thirdparty/DKM deleted file mode 160000 index d1cba4bf1..000000000 --- a/thirdparty/DKM +++ /dev/null @@ -1 +0,0 @@ -Subproject commit d1cba4bf1c96de1497aba031f709013404c08d5f