Renaming the aux directory to avoid issues with Windows developers#29
Merged
jdesiloniz merged 1 commit intomasterfrom Jan 17, 2018
Merged
Renaming the aux directory to avoid issues with Windows developers#29jdesiloniz merged 1 commit intomasterfrom
jdesiloniz merged 1 commit intomasterfrom
Commits
Commits on Jan 16, 2018
- committed
Javier de Silóniz Sandino