diff --git a/resources/scripts/sed b/resources/scripts/sed deleted file mode 160000 index 786fe1fd4..000000000 --- a/resources/scripts/sed +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 786fe1fd494dfc076722fb07c49801de66a6428c