diff --git a/runtime/plugins/literate b/runtime/plugins/literate deleted file mode 160000 index 5f263b02..00000000 --- a/runtime/plugins/literate +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 5f263b025f71283b4fc3701b7b178dbdbcfeb1c2