diff options
author | Francis Rowe <fchmmr@minifree.lan> | 2015-10-29 14:23:44 (EDT) |
---|---|---|
committer | Francis Rowe <fchmmr@minifree.lan> | 2015-10-29 14:23:44 (EDT) |
commit | d761b8dd8dc17a5d1a244f9be27691433e0a1fff (patch) | |
tree | bd50787c49d0f9f60b07582606dd3be3df92d97d /site/git | |
parent | 35fcbddc01e0fbffd615c0f5a04107d95e5d2a01 (diff) | |
download | libreboot.org-d761b8dd8dc17a5d1a244f9be27691433e0a1fff.zip libreboot.org-d761b8dd8dc17a5d1a244f9be27691433e0a1fff.tar.gz libreboot.org-d761b8dd8dc17a5d1a244f9be27691433e0a1fff.tar.bz2 |
git page: mention that git can use other colours
Diffstat (limited to 'site/git')
-rw-r--r-- | site/git/index.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/site/git/index.php b/site/git/index.php index e767e7c..f85c79d 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -135,7 +135,8 @@ $ <b>git config --global color.diff auto</b> </p> <p> - <b>NOTE: the above steps for colour make git use red/green font colours for showing diffs. If you are red/green colour-blind, please ignore the above steps. The default configuration in git is no-colour (all one colour, usually the default that your terminal uses).</b> + <b>NOTE: the above steps for colour make git use red/green font colours for showing diffs. If you are red/green colour-blind, please ignore the above steps. The default configuration in git is no-colour (all one colour, usually the default that your terminal uses). If you are colour-blind, git can display in other colours; refer + to the git documentation.</b> </p> <p> <?php echo gettext("Clone the git repository, and make your desired changes."); ?> |