Converted the README file with rst format so that it can be easily converted
[barrelfish] / doc / 018-Practical-guide / cleanTex.awk
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