tree 585561121f912f5eb051ca897937efc68b1f4bcd
parent 374854a64b5d541b9b113bf79ca6a2123c44e60d
author Guillaume Nodet <gnodet@apache.org> 1494441249 +0200
committer Guillaume Nodet <gnodet@apache.org> 1494441249 +0200

Fix windows batch file too