29 octobre 2014 à 11h43
Extrait les tiddlers utiles d'un plugin, en les créant sous forme de tiddlers ordinaires :
--unpackplugin <titre>Extrait les tiddlers utiles d'un plugin, en les créant sous forme de tiddlers ordinaires :
--unpackplugin <titre>