Jeff Epler 31da335cac Introduce, use MP_PROPERTY_GETTER, _GETSET ... Later, these can be changed in cunning ways to save flash storage.		2022-05-03 08:48:52 -05:00
..
rp2pio	Introduce, use MP_PROPERTY_GETTER, _GETSET	2022-05-03 08:48:52 -05:00