diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-02-12 08:49:50 -0500 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-02-12 08:49:50 -0500 |
| commit | 3ba153b4be4c2fe8ad7decf8ebc7cf5d8815a0e9 (patch) | |
| tree | 8d0070c3064d471b91b098bdffcd08a78a890632 /src/theory/unconstrained_simplifier.cpp | |
| parent | 6ecdf49ae2a75c76fc8d37c7d396cc777b2e3adf (diff) | |
try curl before wget, workaround for issue with FTP PASV
Diffstat (limited to 'src/theory/unconstrained_simplifier.cpp')
0 files changed, 0 insertions, 0 deletions