4 Commits

Author	SHA1	Message	Date
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	cc59a49b39	Improved rounder close icon	2012-07-20 22:09:34 +01:00
Jeremy Ruston	a05adc9d53	Reorganisations ... Part two	2012-07-14 15:57:36 +01:00
Jeremy Ruston	3d4a5e1602	A bunch more source file reorganisations ... Part one	2012-07-14 15:56:35 +01:00