Michael Peters d0efa9ac4e use the same clipboard to paste as other apps		2023-03-01 14:31:08 -08:00
..
done	clipboard patch was already completed	2023-03-01 14:04:48 -08:00
todo	use the same clipboard to paste as other apps	2023-03-01 14:31:08 -08:00