Typo in Technical Note 010: Barrelfish Specification.
[barrelfish] / doc / 010-spec / Hakefile
2012-01-10 Simon GerberAdded possibility of running bibtex for tech notes.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.