Revision 00176298
ID | 00176298ccd8cd284d7e153e569e8729fc9aff98 |
Parent | 010c929e |
Child | 3c324b4a |
feature #1303: Use wget instead of curl to get http headers
Files
- added
- modified
- copied
- renamed
- deleted
ID | 00176298ccd8cd284d7e153e569e8729fc9aff98 |
Parent | 010c929e |
Child | 3c324b4a |
Added by Ruben S. Montero about 9 years ago
feature #1303: Use wget instead of curl to get http headers