move Terminal Tool View documentation to plugins chapter
now that it's disabled by default in favor of the Projects terminal, leaving it in the general sections could be confusing to new users (cherry picked from commit 91c8d03d) backport to 4.12.1
parent
3c68ef01
Please register or sign in to comment