diff options
| author | Bruce Momjian <bruce@momjian.us> | 2001-07-11 02:13:20 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2001-07-11 02:13:20 +0000 |
| commit | 28aeb0a019093e4290b63c77bfa17b220ea174fc (patch) | |
| tree | cf8286ff1ff51ad5c8e7ace37a776b0ed8bb2159 /doc/src | |
| parent | 6d5a9d05e028eee97b19bfa75b7e19404f2378b1 (diff) | |
| download | postgresql-28aeb0a019093e4290b63c77bfa17b220ea174fc.tar.gz postgresql-28aeb0a019093e4290b63c77bfa17b220ea174fc.zip | |
Update FAQ_DEV.
Diffstat (limited to 'doc/src')
| -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 |