diff --git a/plugins/penguin-crushers b/plugins/penguin-crushers new file mode 100644 index 000000000..cf164cca0 --- /dev/null +++ b/plugins/penguin-crushers @@ -0,0 +1,2 @@ +repository=https://github.com/hyperslab/penguin-crushers.git +commit=5b53a5a5d052a87dcf7a7756b7f652dc3e63764c