platformtest.sh: Clean up GIT source tree, when possible
authorAlexander Barton <alex@barton.de>
Mon, 14 Oct 2013 21:47:07 +0000 (23:47 +0200)
committerAlexander Barton <alex@barton.de>
Mon, 14 Oct 2013 21:47:16 +0000 (23:47 +0200)
commit45d3e6aa91295bee056df8be5c3ed224420fba02
tree1332b68f93ae43b0de25ca3cc4ad43036ea07a72
parent0bd3fb88b2c2a433a68c82c3eaba2fd13b8fcd0b
platformtest.sh: Clean up GIT source tree, when possible
contrib/platformtest.sh