diff --git a/plugins/deepseatrawling b/plugins/deepseatrawling new file mode 100644 index 00000000000..7df3641cc4f --- /dev/null +++ b/plugins/deepseatrawling @@ -0,0 +1,2 @@ +repository=https://github.com/Maewi/deepSeaTrawling.git +commit=f3971dd262354f71a572e8b666453716b1b34efc