play section enhancements enhancement @lukas 0
#2 opened on 18 Aug 2022 by lukas high
Add more options to edit an instrument's attributes from the UI enhancement @lukas 0
#5 opened on 19 Aug 2022 by lukas high
add more documentation enhancement @lukas 0
#11 opened on 17 Jun 2023 by lukas high