Typo in Technical Note 010: Barrelfish Specification.
authorRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Sat, 5 May 2012 14:10:51 +0000 (16:10 +0200)
committerRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Sat, 5 May 2012 14:10:51 +0000 (16:10 +0200)
commit83bc9492d4c4a2d8d02b3b9ca8993fc08911a44e
tree2aa19490e652c3eee7b466ceb89fb4ca3077c1f1
parent7847b914abcf59877194d398f32ec2195e05cebd
Typo in Technical Note 010: Barrelfish Specification.
doc/010-spec/Spec.tex