From 5a80212d89144ecb6ec8ff165dad7a94213e4d91 Mon Sep 17 00:00:00 2001 From: Andrew Baumann Date: Wed, 15 Feb 2017 11:35:48 -0800 Subject: [PATCH] add exec perms --- tools/dafny/MSVCP110.dll | Bin tools/dafny/MSVCR110.dll | Bin tools/dafny/VCOMP110.dll | Bin 3 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/dafny/MSVCP110.dll mode change 100644 => 100755 tools/dafny/MSVCR110.dll mode change 100644 => 100755 tools/dafny/VCOMP110.dll diff --git a/tools/dafny/MSVCP110.dll b/tools/dafny/MSVCP110.dll old mode 100644 new mode 100755 diff --git a/tools/dafny/MSVCR110.dll b/tools/dafny/MSVCR110.dll old mode 100644 new mode 100755 diff --git a/tools/dafny/VCOMP110.dll b/tools/dafny/VCOMP110.dll old mode 100644 new mode 100755