diff options
| author | Francis Rowe <fchmmr@minifree.lan> | 2015-10-29 14:16:39 (EDT) |
|---|---|---|
| committer | Francis Rowe <fchmmr@minifree.lan> | 2015-10-29 14:16:39 (EDT) |
| commit | 35fcbddc01e0fbffd615c0f5a04107d95e5d2a01 (patch) | |
| tree | b21303fffed84974a799424e6007972699ad5202 /site | |
| parent | 631ca0a2952ac78b0629c987bfdc55e08447cc5b (diff) | |
| download | libreboot.org-35fcbddc01e0fbffd615c0f5a04107d95e5d2a01.zip libreboot.org-35fcbddc01e0fbffd615c0f5a04107d95e5d2a01.tar.gz libreboot.org-35fcbddc01e0fbffd615c0f5a04107d95e5d2a01.tar.bz2 | |
git page: warn redgreen colour blind people about git diff colours
Diffstat (limited to 'site')
| -rw-r--r-- | site/git/index.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/site/git/index.php b/site/git/index.php index 1d6f84f..e767e7c 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -135,6 +135,9 @@ $ <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> + </p> + <p> <?php echo gettext("Clone the git repository, and make your desired changes."); ?> <?php echo gettext("You can make one or several commits (as many as you like)."); ?> <?php echo gettext("Generally speaking, you should create separate commits on top of each other, for each kind of change."); ?> |