projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d31caa) | patch
Fix boost url in contrib/get-win-dependencies.
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 5 Mar 2018 23:37:10 +0000 (15:37 -0800)
committerMathias Preiner <mathias.preiner@gmail.com>
Mon, 5 Mar 2018 23:37:10 +0000 (15:37 -0800)
commitb8a89b4dbba79ce79f193008a58f7c36deb2a821
tree330a194e5807b57e09ce8d88919e12d981fcb5c6tree
parent3d31caa30e094d337a4919b3d1e6ba9259e461b8commit | diff
Fix boost url in contrib/get-win-dependencies.

This fixes the broken windows nightly builds.
contrib/get-win-dependencies diff | blob | history