diff doc/src/site/markdown/plugins.md @ 1582:14a6d8a8a307

vector plugin: make a shape editable
author hertzhaft
date Wed, 30 Nov 2016 23:21:09 +0100
parents 00eb2008b21b
children
line wrap: on
line diff