Jermolene 16546a5e2e Rename "configurations" to "platforms" ... Because “configurations” was too overloaded with other meanings. “Platforms” seems like the closest common usage for us		2015-06-20 09:24:14 +01:00
..
tiddlers	Rename "configurations" to "platforms"	2015-06-20 09:24:14 +01:00
tiddlywiki.info	Remove help plugin from main release	2015-04-01 14:08:06 +01:00