summaryrefslogtreecommitdiff
path: root/debian-reference.desktop
diff options
context:
space:
mode:
authorAurélien COUDERC <zecoucou@free.fr>2017-07-02 08:24:13 +0000
committerAurélien COUDERC <zecoucou@free.fr>2017-07-02 08:24:13 +0000
commit9299f619a331cad11c929de19fb6f1a57222e145 (patch)
treeaf845a5dc07f8e3cfa69b88d8a81670f3b411d8a /debian-reference.desktop
parent7eec6582d7ebc5751174076ff727eb6cd4c67c83 (diff)
Various check-all-the-things fixes
Diffstat (limited to 'debian-reference.desktop')
-rw-r--r--debian-reference.desktop5
1 files changed, 2 insertions, 3 deletions
diff --git a/debian-reference.desktop b/debian-reference.desktop
index e688e4e..b977635 100644
--- a/debian-reference.desktop
+++ b/debian-reference.desktop
@@ -1,8 +1,7 @@
[Desktop Entry]
-Version=1.0
-Encoding=UTF-8
+Version=1.1
Name=Debian Reference Manual
Comment=An introduction and reference manual for Debian
Icon=emblem-debian
Type=Link
-URL=http://www.debian.org/doc/manuals/reference/
+URL=https://www.debian.org/doc/manuals/reference/