Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add dhtxx to external repos. (#2684)
Also don't complain if an external directory doesn't exist. During the first `make enable-external` it's normal that they don't exist.
- Loading branch information