diff options
Diffstat (limited to 'doc/src/FAQ/FAQ_DEV.html')
-rw-r--r-- | doc/src/FAQ/FAQ_DEV.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/src/FAQ/FAQ_DEV.html b/doc/src/FAQ/FAQ_DEV.html index 3b302172184..179f6168438 100644 --- a/doc/src/FAQ/FAQ_DEV.html +++ b/doc/src/FAQ/FAQ_DEV.html @@ -112,7 +112,8 @@ Others prefer <I>glimpse.</I> <P><I>make_diff</I> has tools to create patch diff files that can - be applied to the distribution.</P> + be applied to the distribution. This produces context diffs, which + is our preferred format.</P> <P>Our standard format is to indent each code level with one tab, where each tab is four spaces. You will need to set your editor to |