new object pluginset
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 7 Mar 2013 17:00:50 +0000 (18:00 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 7 Mar 2013 17:00:50 +0000 (18:00 +0100)
a bit like Plugins in php
acts as a context for a given page
has the Prelude object for the side effects
must be passed to Plugin creation


No differences found