Delete devtree.js