From a855d28c06e785ee95d46e889f7f3094f6c972c0 Mon Sep 17 00:00:00 2001
From: "Antoine Vandevenne (anv)" <anv@odoo.com>
Date: Wed, 10 Mar 2021 17:24:31 +0100
Subject: [PATCH] rename "Developer Documentation" to "Developer"

---
 content/developer.rst | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/content/developer.rst b/content/developer.rst
index b21719579..a125ce53c 100644
--- a/content/developer.rst
+++ b/content/developer.rst
@@ -1,8 +1,8 @@
 
 
-=======================
-Developer Documentation
-=======================
+=========
+Developer
+=========
 
 
 .. toctree::