Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixes a doxygen ref to "dr_abort_ex" to the correct "dr_abort_with_code".
- Loading branch information
Fixes a doxygen ref to "dr_abort_ex" to the correct "dr_abort_with_code".