Updated the README and Practical guide so that they have instructions
[barrelfish] / doc / 018-Practical-guide / generate_readme_tex.sh
2013-12-08 pravin@inf.ethz.chConverted the README file with rst format so that it...
2013-12-06 pravin@inf.ethz.chAdded tech-note 18