fixed error in manifold.js + updated scheduler
[unfold.git] / manifold / __init__.py