fewer js source files : manifold.js holds the global manifold object (that maps uuids...
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 19 Mar 2013 14:36:58 +0000 (15:36 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 19 Mar 2013 14:36:58 +0000 (15:36 +0100)
commit45ea2e7ea4d6240f723cf743b9ad493ad70ceed2
treebdbe27c6b3936f4c4ef903024a53dd6c64b07351
parentd2ab222245b6311d81f9465cde3f48761c077168
fewer js source files : manifold.js holds the global manifold object (that maps uuids to queries), as well as async and pubsub stuff
manifold/js/manifold-async.js [deleted file]
manifold/js/manifold-pubsub.js [deleted file]
manifold/js/manifold-queries.js [deleted file]
manifold/js/manifold.js [new file with mode: 0644]
plugins/lists/simplelist.py
plugins/querycode/querycode.py
unfold/js/onavail.js [deleted file]
unfold/page.py