diff --git a/cat/18_dist b/cat/18_dist deleted file mode 160000 index eaf463cd..00000000 --- a/cat/18_dist +++ /dev/null @@ -1 +0,0 @@ -Subproject commit eaf463cdc5ea1ff60f008faf2db6600cf82ed3d8 diff --git a/cat/dist b/cat/dist deleted file mode 160000 index 66fbe9d5..00000000 --- a/cat/dist +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 66fbe9d586d0e80ada2b4e64721d29860505baaa