diff options
| author | darwinel <kmorssink@gmail.com> | 2014-02-11 18:29:58 +0100 |
|---|---|---|
| committer | darwinel <kmorssink@gmail.com> | 2014-02-11 18:29:58 +0100 |
| commit | 25f119cef588a01651cec7c59d3b03924b2dd81c (patch) | |
| tree | 174e1ea0458a075e3bce761efbcc01161db6f9d1 /user_guide_src/Makefile | |
| parent | 871754af60251993d640981e107d2def5f2db396 (diff) | |
Writing style fix based on style guide
„Use of || is discouraged as its clarity on some output devices is low
(looking like the number 11 for instance). && is preferred over AND but
either are acceptable, and a space should always precede and follow !.”
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions