diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-10-18 09:39:37 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-10-18 09:39:37 +0200 |
| commit | ae68bd7cfe8e5329a13f6836f4d02251a4ac4e82 (patch) | |
| tree | 411b4e1354e40ed914fe088e969312b2b18773c6 /src | |
| parent | 58528f32dd9c725aea4635ecba889d411c8d65d2 (diff) | |
fix --with-libcurl and --with-libgnurl options; they used to
ignore the given path.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions