Differentiate between pitch-shift (for audio) and transpose (for MIDI). Fixes #3940.
[ardour2.git] / tools / sanity_check / 
tree51adc90ec8e42020b62c5e2ecb49a9a66d6cefbe
drwxr-xr-x   ..
-rw-r--r-- 8003 main.cpp
-rw-r--r-- 8173 systemtest.cpp
-rw-r--r-- 2522 systemtest.h
-rw-r--r-- 533 wscript