diff options
author | Aurélien COUDERC <zecoucou@free.fr> | 2017-07-02 08:24:13 +0000 |
---|---|---|
committer | Aurélien COUDERC <zecoucou@free.fr> | 2017-07-02 08:24:13 +0000 |
commit | 9299f619a331cad11c929de19fb6f1a57222e145 (patch) | |
tree | af845a5dc07f8e3cfa69b88d8a81670f3b411d8a /debian-reference.desktop | |
parent | 7eec6582d7ebc5751174076ff727eb6cd4c67c83 (diff) |
Various check-all-the-things fixes
Diffstat (limited to 'debian-reference.desktop')
-rw-r--r-- | debian-reference.desktop | 5 |
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/ |