plugins

This repository contains the plugins to invoke planimation.

In order to deploy the plugin, we need to push the changes to this repo: https://github.com/AI-Planning/planimation and C Muise know, so he can update the plugin submodule in the editor.