Made midi more prominent by being in the root dir, linkchecking

[ardour-manual-diverged] / _manual / 13_working-with-plugins.html

diff --git a/_manual/12_working-with-plugins.html b/_manual/13_working-with-plugins.html
similarity index 100%
rename from _manual/12_working-with-plugins.html
rename to _manual/13_working-with-plugins.html