remove redundant mentions that terminal menu items come from a plugin
author T.C. Hollingsworth
()
committer T.C. Hollingsworth
()
commit bee39f3f9baf299e71f03ab6cdfeb2697705e81b
tree fe1fb83243cba65846127b91940e6cf79676bcbb
parent 2ac36c4dc44ff61b6d56b536564f3f39a09ecdbe
remove redundant mentions that terminal menu items come from a plugin

accidentally left over from copy/pasting from main sections
doc/kate/plugins.docbook