Jeremy Ruston 9e3618bdcf Rename the 'title' attributes of various widgets to 'tiddler' ... The change is to avoid confusion with the HTML 'title' attribute. The name 'tiddler' better emphasises the purpose of the attribute, too.		2013-10-30 13:36:44 +00:00
..
rules	Rename the 'title' attributes of various widgets to 'tiddler'	2013-10-30 13:36:44 +00:00
wikiparser.js	Removed obsolete comments	2013-08-23 18:38:44 +01:00
wikirulebase.js	Moving the wikiparser rules around	2012-12-20 16:38:33 +00:00