Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request ESCOMP#144 from billsacks/improve_errmsg
Add some details to the error message when externals are modified A user commented that this error message was unclear, particularly if you don't know how to revert changes in git. This is hopefully a small improvement, at least. User interface changes?: No Fixes: None Testing: make utest, make stest, make lint test removed: none unit tests: pass system tests: pass manual testing: examined error message as printed
- Loading branch information