From 130aa8932b297b5f736d6c2d26407c288ad09190 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Wed, 29 Apr 2015 00:05:58 -0700
Subject: Bumped version to 1.9.4.20428

---
 Binaries/PrepareDafnyZip.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Binaries')

diff --git a/Binaries/PrepareDafnyZip.bat b/Binaries/PrepareDafnyZip.bat
index 7d409d6e..a00008c7 100644
--- a/Binaries/PrepareDafnyZip.bat
+++ b/Binaries/PrepareDafnyZip.bat
@@ -41,7 +41,7 @@ for %%d in (
 )
 for %%f in (
   Util\emacs\dafny-mode.el
-  Util\vim\dafny.vim
+  Util\vim\README.md
   Util\latex\dafny.sty
 ) do (
   copy ..\%%f %DEST_DIR%\%%f
-- 
cgit v1.2.3