Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
on.exit(add = TRUE) is almost always the right thing to do
Without add = TRUE, it is easy to shoot yourself in the foot when you have other `on.exit()` calls.
- Loading branch information