aboutsummaryrefslogtreecommitdiff
path: root/home/.gitconfig_driver
Commit message (Expand)AuthorAgeFilesLines
* Remove git configuration for Driver projectsJakob Odersky2018-10-201-2/+0
* Setup git conditional includesJakob Odersky2017-08-081-0/+2