diff --git a/tckdev b/tckdev deleted file mode 160000 index 0937d14f..00000000 --- a/tckdev +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 0937d14faf7e5db8a47054a50bb860a22df22731