# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1406159895 25200
# Node ID 12d610e73ee668006546bb22bcfb6afa72738c42
# Parent  ae53d68033d96a9d9a66b476e0d0f60ee604a122
Stop Git bullshit on Windows too.

diff -r ae53d68033d9 -r 12d610e73ee6 build/stop_git_bullshit.cmd
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build/stop_git_bullshit.cmd	Wed Jul 23 16:58:15 2014 -0700
@@ -0,0 +1,3 @@
+@echo off
+hg onsub -t git "git reset --hard origin/master"
+