-
Committer:
Michael Natterer
-
Author(s):
Andrew Worsley
-
Date:
2016-04-18 20:06:16 UTC
-
Revision ID:
git-v1:455a91819bf3ec7b5c73055b57db0b55bc04bd65
plug-ins: add back some menu entries for plugins
So we see what we have. Need some other way of dealing with this stuff...