2 Commits

Author	SHA1	Message	Date
Paul Davis	09c9ab5c75	extend TempoMapChange API to allow for replacing, not editing, the map	2022-10-27 13:40:29 -06:00
Paul Davis	0e20c4b3eb	new RAII object for tempo map editing	2022-10-27 12:06:23 -06:00