Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
tools: remove unneeded dependency files
The new version of dmn more effectively cleans unneeded dependency files. (Thanks, BridgeAR!) It's now in the udpate-*.sh files but run it manually to get the benefits now (and to have a smaller diff when we update).
- Loading branch information