Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* + .gitconfig with configuration for better diffing, needs a
git config --local include.path ../.gitconfig to be activated
- Loading branch information