diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2019-03-07 12:00:51 -0700 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2019-03-07 12:01:27 -0700 |
| commit | f7802325dcf07b6dec4061d0bd413ed6f09a4e8c (patch) | |
| tree | 4fc8987efc566a64f4eb2f55be4fcfa5abb7ceac /gtk2_ardour/rc_option_editor.cc | |
| parent | 8b212bfa1294aa0e751690de355b05d4eaa82759 (diff) | |
redesign naming and reload of MIDI port information (library edition)
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
0 files changed, 0 insertions, 0 deletions