From 21b50f11235d4d4effcd0a69d0b02155497122b5 Mon Sep 17 00:00:00 2001
From: Liangent <liangent@gmail.com>
Date: Tue, 15 May 2012 00:32:42 +0800
Subject: [PATCH] Cosmetic change: add a new line after a section title.

Change-Id: I3e0557e5a1e4e69f795fcf4992b2ce64bbb70e59
---
 docs/distributors.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/distributors.txt b/docs/distributors.txt
index e9f151cfff..d29822993c 100644
--- a/docs/distributors.txt
+++ b/docs/distributors.txt
@@ -106,6 +106,7 @@ intelligently:
   mail().
 
 == Updates ==
+
 The correct way for updating a wiki is to update the files and then run from 
 command line the maintenance/update.php script (with appropriate parameters if
 files were moved). It will perform all the needed steps to update the database 
-- 
2.20.1