From 75d0ee3f43220516d98215f519603baaec7dae53 Mon Sep 17 00:00:00 2001 From: filip Date: Sun, 14 Oct 2018 00:03:55 +0200 Subject: some tiny lint fixes --- en/5/download_index.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'en/5/download_index.php') diff --git a/en/5/download_index.php b/en/5/download_index.php index f4d2121ec..05e7c03b8 100644 --- a/en/5/download_index.php +++ b/en/5/download_index.php @@ -357,7 +357,7 @@ input[type="radio"], input[type="submit"] { echo '
'; dl_link($name,$version,$release,'LiveDVD-GNOME','x86_64','DVD',true,$torrentavailable);?> - + -- cgit v1.2.1