Roland Heyder 08b000b71c Skip more useless line feeds ... - ignore line feeds after HTML comments and <br> and <br /> tags		2023-02-12 19:20:50 +01:00
..
wiki	Skip more useless line feeds	2023-02-12 19:20:50 +01:00
ide_global.bas	Rename 'New Dialogs' to 'GUI Dialogs', Persist setting	2022-11-15 22:21:29 -05:00
ide_methods.bas	Change line end detection	2023-02-12 14:37:51 +01:00