microsoft
/
Komodo
зеркало из https://github.com/microsoft/Komodo.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

add exec perms

This commit is contained in:
Andrew Baumann 2017-02-15 11:35:48 -08:00
Родитель 9cb5ebe7e7
Коммит 5a80212d89
3 изменённых файлов: 0 добавлений и 0 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

0
tools/dafny/MSVCP110.dll Normal file → Executable file
Просмотреть файл

0
tools/dafny/MSVCR110.dll Normal file → Executable file
Просмотреть файл

0
tools/dafny/VCOMP110.dll Normal file → Executable file
Просмотреть файл