diff options
| author | Frank Gevaerts <frank@gevaerts.be> | 2018-05-28 14:16:27 +0200 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2018-05-28 15:02:03 +0200 |
| commit | c78dd2e1d0cbe7fb32eda5cd9b1f7b7c0f178c1e (patch) | |
| tree | 6b5ac9ca57db9a9d681cc4d5b5b37bbb7c661fb3 /docs/cmdline-opts/remote-time.d | |
| parent | 3af865cd014fc53827dcbe3bf2a0c19bdf9b407e (diff) | |
docs: fix cmdline-opts metadata headers case consistency.
Almost all headers start with an uppercase letter, but some didn't.
Diffstat (limited to 'docs/cmdline-opts/remote-time.d')
| -rw-r--r-- | docs/cmdline-opts/remote-time.d | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/cmdline-opts/remote-time.d b/docs/cmdline-opts/remote-time.d index 0f369e01f..7f6809dc3 100644 --- a/docs/cmdline-opts/remote-time.d +++ b/docs/cmdline-opts/remote-time.d @@ -1,5 +1,5 @@ -long: remote-time -short: R +Long: remote-time +Short: R Help: Set the remote file's time on the local output --- When used, this will make curl attempt to figure out the timestamp of the |