1. 2010-12-19 [Bug 109953] KDevelop should warn if an external tool isn' kde-bugs-di Olivier.jg 2. 2005-08-26 [Bug 109953] KDevelop should warn if an external tool isn' kdevelop-bu kdevelop-bugs-admin 3. 2005-08-26 [Bug 109953] KDevelop should warn if an external tool isn' kde-bugs-di greatbunzinni 4. 2005-08-26 [Bug 109953] KDevelop should warn if an external tool isn' kdevelop-bu kdevelop-bugs-admin 5. 2005-08-26 [Bug 109953] KDevelop should warn if an external tool isn' kde-bugs-di Jens Dagerbo 6. 2005-08-26 [Bug 109953] KDevelop should warn if an external tool isn' kde-bugs-di Amilcar do Carmo Luca 7. 2005-08-26 [Bug 109953] KDevelop should warn if an external tool isn' kdevelop-bu kdevelop-bugs-admin 8. 2005-08-26 [Bug 109953] KDevelop should warn if an external tool isn' kde-bugs-di greatbunzinni 9. 2005-08-26 [Bug 109953] KDevelop should warn if an external tool isn' kdevelop-bu kdevelop-bugs-admin 10. 2005-07-31 [Bug 109953] KDevelop should warn if an external tool isn' kdevelop-bu kdevelop-bugs-admin 11. 2005-07-31 [Bug 109953] KDevelop should warn if an external tool isn' kde-bugs-di owner 12. 2005-07-31 [Bug 109953] KDevelop should warn if an external tool isn' kde-bugs-di owner 13. 2005-07-31 [Bug 109953] KDevelop should warn if an external tool isn' kdevelop-bu kdevelop-bugs-admin