summaryrefslogtreecommitdiff
path: root/gnu/packages/time.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2017-03-30 00:48:16 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2017-03-30 01:30:16 +0200
commit6fd52309b8f52c9bb59fccffac53e029ce94b698 (patch)
treebf54edb6c182356547acfa82deba8c402b03738c /gnu/packages/time.scm
parentc219997a146dc7a955d4f58d36afab2aa926f49c (diff)
gnu: Use HTTPS for almost all gnu.org HOME-PAGEs.
All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS.
Diffstat (limited to 'gnu/packages/time.scm')
-rw-r--r--gnu/packages/time.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/time.scm b/gnu/packages/time.scm
index 695ca0a2b3..ba54d1d00f 100644
--- a/gnu/packages/time.scm
+++ b/gnu/packages/time.scm
@@ -48,7 +48,7 @@
(system* "./configure"
(string-append "--prefix=" out)))))
%standard-phases)))
- (home-page "http://www.gnu.org/software/time/")
+ (home-page "https://www.gnu.org/software/time/")
(synopsis "Run a command, then display its resource usage")
(description
"Time is a command that displays information about the resources that a