History log of /seL4-camkes-master/projects/picotcp/docs/user_manual/README.md
Revision Date Author Comments
# a06015e6 09-Sep-2014 Devon Kerkhove <devon.kerkhove@tass.be>

Docs readme fixes

- Updated the pdf link
- Fixed typo
# 4af87b46 06-Jan-2014 phalox <info@phalox.be>

Updated readme.md file in documentation folder.

This change informs people that there is a pre-built manual available
for them to download!
# 2a585915 31-May-2013 Phalox <toon.peters@tass.be>

Added a README.md file that describes how to compile the user manual