Merge pull request #927 from huceke/fix-tinyxml
authorAndres Mejia <amejia004@gmail.com>
Fri, 4 May 2012 14:01:23 +0000 (07:01 -0700)
committerAndres Mejia <amejia004@gmail.com>
Fri, 4 May 2012 14:01:23 +0000 (07:01 -0700)
fixed tinyxml detection


Trivial merge