Simple Hello World plugin for Gaphor.
This plugin provides a new entry in the Tools menu: Hello World.
This plugin is not released on PyPI. Instead, install it from git directly:
pip install git+https://github.com/gaphor/gaphor_plugin_helloworld.git