Humza Shahid 6507b9d49c adjust MakeNormalDelete.deleteLine implementation slightly, because the previous implementation did not delete the last character when we are at the end of the file

2025-09-16 06:29:35 +01:00

..

brolib-sml @ bef4620cdb

adjust MakeNormalDelete.deleteLine implementation slightly, because the previous implementation did not delete the last character when we are at the end of the file

2025-09-16 06:29:35 +01:00

cozette-sml @ 5ee4d06375

pull in new version of cozette-sml, which had a buggy version of the glyph 0 before

2025-09-11 02:15:54 +01:00