Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
Retain some intermediate object files, suggested by Geert Stappers an…
…d Alexey Zaytsev. src/bin/%.tmp files can be useful for debugging, so let's keep them.
- Loading branch information