Roland Heyder 61513cbcd8 Remove obsolete code ... - wiki pages have been fixed, so the handling for these old things is no longer required		2023-02-01 23:48:43 +01:00
..
wiki	Remove obsolete code	2023-02-01 23:48:43 +01:00
ide_global.bas	Rename 'New Dialogs' to 'GUI Dialogs', Persist setting	2022-11-15 22:21:29 -05:00
ide_methods.bas	Fix "Update all pages" process	2023-01-19 23:46:51 +01:00