Jeremy Ruston 160cc0e9a9 Revert "Add widget.destroy() function (#7468)" ... See discussion at https://github.com/Jermolene/TiddlyWiki5/pull/7468#issuecomment-1645753857		2023-07-22 11:41:36 +01:00
..
tiddlers	Revert "Add widget.destroy() function (#7468)"	2023-07-22 11:41:36 +01:00
tiddlywiki.info	Remove unneeded plugins from prerelease	2022-04-18 09:33:00 +01:00