From 40582a4ce96fc389b72b39f473346f933cd8fa14 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Miroslav=20=C5=A0ulc?= Date: Sat, 14 Oct 2023 23:19:03 +0200 Subject: [PATCH] Update edit-midi.html: removed extra word --- include/edit-midi.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/edit-midi.html b/include/edit-midi.html index 683d11c2..cc86a855 100644 --- a/include/edit-midi.html +++ b/include/edit-midi.html @@ -18,7 +18,7 @@ region. There is no way currently to edit note data for multiple regions at the same time; so, for example, notes cannot be selected in several regions at once and then all deleted. However - they can they be copied and pasted from one region to another. + they can be copied and pasted from one region to another.
  • Every MIDI track has its own MIDI port for input; it may have an