Dongdong Zhou 1ba0335fe3 Merge pull request #547 from PhilipDaniels/scratch_doc_names ... Implement 'new N' names for scratch buffers.		2022-05-25 10:42:12 +01:00
..
src	Merge pull request #547 from PhilipDaniels/scratch_doc_names	2022-05-25 10:42:12 +01:00
Cargo.toml	window icon	2022-05-20 13:51:11 +01:00