Merge commit 'origin'master
commitea8e0c08b2c4e45c50abe6868db97e6e1f8a56c3
authorDavid Purdy <david@radioretail.co.za>
Tue, 15 Jul 2008 09:16:08 +0000 (15 11:16 +0200)
committerDavid Purdy <david@radioretail.co.za>
Tue, 15 Jul 2008 09:16:08 +0000 (15 11:16 +0200)
tree8a278098f09712e53c805ce9d891df7b42247906
parent3d285ed00962d2e1dbd776e78ea7d498deef1ed9
parent529fdd7b4f6801af05f8c5e680a24f11a4e0e4e1
Merge commit 'origin'
tools/tinyos/misc/tos-locate-jre