Revert "deldevelptool"

This reverts commit 560209f4601f58e2b7ea847d90e09f2a659080e4.