fewer js source files : manifold.js holds the global manifold object (that maps uuids...
[unfold.git] / plugins / __init__.py