aboutsummaryrefslogtreecommitdiff
path: root/doc/src/FAQ/FAQ_DEV.html
diff options
context:
space:
mode:
Diffstat (limited to 'doc/src/FAQ/FAQ_DEV.html')
-rw-r--r--doc/src/FAQ/FAQ_DEV.html3
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