From 319b5179b2f588e8dd21a33cd80b6f288f96ee04 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Wed, 15 Jul 2020 15:09:18 +0200
Subject: update manual

---
 developers-manual.rst | 1 +
 1 file changed, 1 insertion(+)

(limited to 'developers-manual.rst')

diff --git a/developers-manual.rst b/developers-manual.rst
index 2f1fbfd8..c17239e3 100644
--- a/developers-manual.rst
+++ b/developers-manual.rst
@@ -33,6 +33,7 @@ Developer's Manual
 
 .. contents:: Table of Contents
 
+
 Fundamentals
 ============
 
-- 
cgit v1.2.3