aboutsummaryrefslogtreecommitdiff
path: root/src/drivers/hott/comms.h
Commit message (Expand)AuthorAgeFilesLines
* Rework HoTT into a proper library, which fixes parallel build breakageLorenz Meier2014-12-261-1/+1
* Whitespace cleanupSimon Wilks2013-07-131-10/+0
* More cleanupsSimon Wilks2013-07-061-3/+1
* Add in missing files.Simon Wilks2013-07-041-0/+58