diff --git a/plugins/crab-solver b/plugins/crab-solver new file mode 100644 index 000000000..0f72371f1 --- /dev/null +++ b/plugins/crab-solver @@ -0,0 +1,2 @@ +repository=https://github.com/TheStonedTurtle/CrabSolver.git +commit=cfca62ac6af2ff2ae8e77f828f29dc6e14a09497