From 73d70183d8dc273d38343310c75136f010412bfc Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Wed, 27 May 2015 06:32:52 -0400 Subject: css: really optimize it --- (limited to 'site/download/index.php') diff --git a/site/download/index.php b/site/download/index.php index 22ddc48..2dc260a 100644 --- a/site/download/index.php +++ b/site/download/index.php @@ -35,15 +35,15 @@ -
+
-
+

-
    +
    • @@ -55,7 +55,7 @@
-
+

@@ -84,7 +84,7 @@
-
+

@@ -160,7 +160,7 @@
-
+

@@ -185,7 +185,7 @@

-
    +
    • @@ -217,26 +217,29 @@
      $ git status

      +
-
- -

-
- Copyright (C) 20XX John Doe <john@doe.com>"); ?> -

-

- - - - https://www.gnu.org/licenses/license-list.html. -

-

- - GNU Free Documentation License, because we do not want to endorse or support the Invariant clauses that this license allows. Changes submitted under this license will be rejected, even if it contains no Invariant sections."); ?> - -

- -
+
+ +

+
+ Copyright (C) 20XX John Doe <john@doe.com>"); ?> +

+

+ + + + https://www.gnu.org/licenses/license-list.html. +

+

+ + GNU Free Documentation License, because we do not want to endorse or support the Invariant clauses that this license allows. Changes submitted under this license will be rejected, even if it contains no Invariant sections."); ?> + +

+ +
+ +

git add path/to/file. You should also add any other files that are listed as modified in the git status. If there are deleted files in the git status, you can use git rm path/to/file. As long as you have added all the untracked files, it is generally easier to use:"); ?>
@@ -300,7 +303,7 @@

-
+

@@ -308,13 +311,9 @@

-
-- cgit v0.9.1