From 28aeb0a019093e4290b63c77bfa17b220ea174fc Mon Sep 17 00:00:00 2001 From: Bruce Momjian Date: Wed, 11 Jul 2001 02:13:20 +0000 Subject: Update FAQ_DEV. --- doc/src/FAQ/FAQ_DEV.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'doc/src') 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 glimpse.

make_diff has tools to create patch diff files that can - be applied to the distribution.

+ be applied to the distribution. This produces context diffs, which + is our preferred format.

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 -- cgit v1.2.3