aboutsummaryrefslogtreecommitdiff
path: root/src/drivers/hott/module.mk
Commit message (Expand)AuthorAgeFilesLines
* Rework HoTT into a proper library, which fixes parallel build breakageLorenz Meier2014-12-261-0/+41