Index: tools/restart_explorer.bat
===================================================================
diff -u
--- tools/restart_explorer.bat	(revision 0)
+++ tools/restart_explorer.bat	(revision 3ff19634b446dd3fbaab6575e162b1cd65c4c029)
@@ -0,0 +1,3 @@
+@ECHO OFF
+taskkill /F /IM explorer.exe
+start explorer.exe