Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
According to the ticket, this causes issues on Windows, where `aux` is a reserved file name. The .h file contained is duplicated multiple times over the repo inside `misc` folders, so it makes sense to adopt this name here as well. Resolves #252
- Loading branch information