Stef Tervelde 5504c8cbb4 Merge pull request #1019 from Stefterv/pde-font-sizing ...

Add quick font-size change to the edit menu

2025-03-28 16:03:01 +01:00

..

lib

Merge pull request #1019 from Stefterv/pde-font-sizing

2025-03-28 16:03:01 +01:00

tools/MovieMaker

Cleaned up ignored files

2024-11-17 19:47:08 +01:00

revisions.md

incorporate pde:// browser protocol on Linux

2023-07-26 06:27:16 -04:00