diff --git a/plugins/platz b/plugins/platz new file mode 100644 index 000000000..99c07c6ac --- /dev/null +++ b/plugins/platz @@ -0,0 +1,3 @@ +repository=https://github.com/i/rl-plugins.git +commit=2998170f76d61faa1eb02a5e3e70daddbbacbd11 +authors=i