diff --git a/plugins/tangle-crew-plugin b/plugins/tangle-crew-plugin new file mode 100644 index 000000000..42efcafac --- /dev/null +++ b/plugins/tangle-crew-plugin @@ -0,0 +1,2 @@ +repository=https://github.com/ZH-Systems/TangleDinkPlugin.git +commit=347deec7be594e0343d26dfa2b3cdb864379dae9