Commit 75ce37f
committed
Remove deprecated windows package building scripts.
The scripts removed are from an early attempt to build
and package a CBMC distribution on windows, that has
now been deprecated since we delegate to CMake (CPack)
to build a windows installer.1 parent 9ac232b commit 75ce37f
File tree
6 files changed
+0
-595
lines changed- .github/workflows
- vs2019
6 files changed
+0
-595
lines changedThis file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
0 commit comments