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
..
docs	Lots of docs updates	2013-08-30 20:06:23 +01:00
images	Improved styling for the tags dropdown	2013-06-09 19:41:48 +01:00
messages	Get rid of the modal popup for empty wikis	2013-09-01 22:33:23 +01:00
modules	Rename the 'title' attributes of various widgets to 'tiddler'	2013-10-30 13:36:44 +00:00
templates	Rename the 'title' attributes of various widgets to 'tiddler'	2013-10-30 13:36:44 +00:00
ui	Rename the 'title' attributes of various widgets to 'tiddler'	2013-10-30 13:36:44 +00:00
wiki	Rename the 'title' attributes of various widgets to 'tiddler'	2013-10-30 13:36:44 +00:00
copyright.tid	Adjust copyright date	2013-01-17 11:27:08 +00:00
plugin.info	Ensure that the core plugins inherit their version number from the main package.info	2013-08-26 13:28:23 +01:00