Merge pull request #15 from projectNe10/dev/raminzaghi-arm/patch0003_04_detmat
authordbutcher-arm <dbutcher@arm.com>
Thu, 5 Apr 2012 18:35:07 +0000 (11:35 -0700)
committerdbutcher-arm <dbutcher@arm.com>
Thu, 5 Apr 2012 18:35:07 +0000 (11:35 -0700)
Dev/raminzaghi arm/patch0003 04 detmat


Trivial merge