3 Commits

Author	SHA1	Message	Date
Jeremy Ruston	5ef77ae3dd	Removing dead code	2012-10-16 23:06:53 +01:00
Jeremy Ruston	daff9c10f3	Tighten terminology for plugins vs. modules ... "Plugins" are bundles of tiddlers managed as one, "modules" are JavaScript tiddlers with a module type identifying when and how they should be executed.	2012-08-03 15:09:48 +01:00
Jeremy Ruston	6d278ea4a1	Reorganisations ... Part three	2012-07-14 15:58:41 +01:00