Merge remote branch 'origin/w64' into devel
commit71275820c28d1e9d2cf844558f3e4a05432a9e7d
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 25 May 2010 13:17:13 +0000 (25 15:17 +0200)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 25 May 2010 13:17:13 +0000 (25 15:17 +0200)
tree5982610530daee2848aede5fc0799e0a2b468079
parent121721c6b58b0edd2d69a8840591fbaf022f7c27
parentec55df992ca7d97fe1ca8c12dc0649954f1f7e7c
Merge remote branch 'origin/w64' into devel