aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/DEVELOPERS2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/DEVELOPERS b/src/DEVELOPERS
index ae44a31334f..d2254da64f9 100644
--- a/src/DEVELOPERS
+++ b/src/DEVELOPERS
@@ -1,3 +1,3 @@
Read the Developer's FAQ in pgsql/doc/FAQ_DEV. All the developer tools
-are located in the pgsql/src/tools directory.
+are located in the pgsql/src/tools directory.