aboutsummaryrefslogtreecommitdiff
path: root/tcb.mdwn
Commit message (Expand)AuthorAgeFilesLines
* Switch pages to use the ``copyright'' and ``license'' facilities of ikiwiki's...Thomas Schwinge2007-09-211-9/+7
* Rework copyright assignment procedure.Thomas Schwinge2007-09-211-7/+0
* Break up `Mach' and `Mig' hierarchies, merge them into `microkernel/mach/', `...Thomas Schwinge2007-09-031-0/+24