diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-08-14 14:44:01 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-08-14 14:44:01 +0200 |
commit | 3a3afcb1195bc37ccfd27dc8a2caf7664a98297f (patch) | |
tree | fcca0b1dd3e97a60e55404f809888740c3383a42 /doc | |
parent | 911dac83cd65a53233ddd132918320a0167bd67f (diff) |
also build mint-lib if we only have libgnurl
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions