From de95c0ba21444cfe391c50d57d0d03cd7a417f8c Mon Sep 17 00:00:00 2001
From: Mischievous Meerkat <engineerarun@gmail.com>
Date: Sat, 30 May 2020 07:58:36 +0530
Subject: [PATCH] Updated Developer guides (markdown)

---
 Developer-guides.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Developer-guides.md b/Developer-guides.md
index bf5e843..d4613ac 100644
--- a/Developer-guides.md
+++ b/Developer-guides.md
@@ -70,7 +70,7 @@ Unsupported characters in file names will be replaced by `?`. Operations on file
 
 Warning: Saved sessions may no longer be usable when the number of contexts is switched.
 
-### Static compilation
+## Static compilation
 
 Install the GPM development library and set the Makefile variable `O_STATIC`.