Cosmetic change: add a new line after a section title.

Change-Id: I3e0557e5a1e4e69f795fcf4992b2ce64bbb70e59

diff --git a/docs/distributors.txt b/docs/distributors.txt
index e9f151c..d298229 100644 (file)
--- 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