OP-TEE/optee_os — pull request #5 by pascal-brand-st-dev (2014-06-24 08:54:22+00:00)
Title: GitHub usage documentation

Signed-off-by: Pascal Brand