diff options
| author |  leino <unknown> | 2015-04-29 00:05:58 -0700 |
|---|---|---|
| committer | leino <unknown> | 2015-04-29 00:05:58 -0700 |
| commit | 130aa8932b297b5f736d6c2d26407c288ad09190 (patch) | |
| tree | 8063e314be17c9c6035859f5b97f9ce38ec3dad3 /Binaries | |
| parent | b1eb6d157f3a148b08489b2a5eb950797b1adcfc (diff) | |
Bumped version to 1.9.4.20428
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/PrepareDafnyZip.bat | 2 |
1 files changed, 1 insertions, 1 deletions
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 |