diff options
| author | Alessandro Ghedini <ghedo@debian.org> | 2020-08-24 08:48:00 +0200 |
|---|---|---|
| committer | Alessandro Ghedini <ghedo@debian.org> | 2020-08-24 08:48:00 +0200 |
| commit | fea0dcbfd05f0524ea51e68ebe570fd9b531ab95 (patch) | |
| tree | 372012c7b0cde00253cf9d931c614edcc60fd558 /docs/libcurl/opts/CURLINFO_FILETIME.3 | |
| parent | 556bfa1f9828626db4c4a4d42119f0b1072a0716 (diff) | |
New upstream version 7.72.0
Diffstat (limited to 'docs/libcurl/opts/CURLINFO_FILETIME.3')
| -rw-r--r-- | docs/libcurl/opts/CURLINFO_FILETIME.3 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/libcurl/opts/CURLINFO_FILETIME.3 b/docs/libcurl/opts/CURLINFO_FILETIME.3 index 85f3add5..2b36cf21 100644 --- a/docs/libcurl/opts/CURLINFO_FILETIME.3 +++ b/docs/libcurl/opts/CURLINFO_FILETIME.3 @@ -20,7 +20,7 @@ .\" * .\" ************************************************************************** .\" -.TH CURLINFO_FILETIME 3 "January 25, 2018" "libcurl 7.71.1" "curl_easy_getinfo options" +.TH CURLINFO_FILETIME 3 "January 25, 2018" "libcurl 7.72.0" "curl_easy_getinfo options" .SH NAME CURLINFO_FILETIME \- get the remote time of the retrieved document |