diff --git a/externals/boost-headers b/externals/boost-headers deleted file mode 160000 index 0456900fad..0000000000 --- a/externals/boost-headers +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 0456900fadde4b07c84760eadea4ccc9f948fe28