Merge pull request #204 from danh-arm/dh/user-guide-fixes
authordanh-arm <dan.handley@arm.com>
Thu, 28 Aug 2014 14:38:11 +0000 (15:38 +0100)
committerdanh-arm <dan.handley@arm.com>
Thu, 28 Aug 2014 14:38:11 +0000 (15:38 +0100)
commit98a357d7da3a2c08a929f985277b600c3675f689
tree249e82a70e1d52a63033e70a4e2cb9f85a386d80
parentb110f61a37b7da1138c558318d157e41632c5038
parentd78baf25447d5d64033105ff46a0ac9b40209669
Merge pull request #204 from danh-arm/dh/user-guide-fixes

Fix minor issues in user guide