diff --git a/sources b/sources deleted file mode 160000 index 2a59392b..00000000 --- a/sources +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 2a59392ba8be974a5deec2e6f15959fde21186ea