diff options
| author |  Rustan Leino <unknown> | 2015-05-29 15:18:29 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2015-05-29 15:18:29 -0700 |
| commit | 01204bd7e22042ccb335dc885d2f66cdbe25a0aa (patch) | |
| tree | 867032e7be9a2b0f2c5d6fb1898d86ad795752a6 /Binaries | |
| parent | c17bdfd0330a18d20c0697394d40e0b2dc0288ec (diff) | |
| parent | e34a7e4fd70d1aafacb2782cbcc0354f6587d649 (diff) | |
Merge
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 |