tree a56f225da004ce0e65da23e2ac61719b2a8bd1ef
parent 1fa4da1c6cf967606333f7e77e408b7f51ef6256
author Bart Van Assche <bvanassche@acm.org> 1401560180 +0200
committer Bart Van Assche <bvanassche@acm.org> 1401561255 +0200

Windows: 64-bit fix for build-binary.pl