From 66d62887b480e01c68e5451bacc5a4e147300a75 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 6 Mar 2023 10:49:01 +0100
Subject: [PATCH] [dev/doc] Changes format

---
 doc/developer/changes.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/developer/changes.tex b/doc/developer/changes.tex
index 4e949abc3b7..bf81337e8f7 100644
--- a/doc/developer/changes.tex
+++ b/doc/developer/changes.tex
@@ -5,7 +5,7 @@
 This chapter summarizes the major changes in this documentation between each
 \framac release, from newest to oldest.
 
-%\section*{dev}
+%\section*{Frama-C+dev}
 %\begin{itemize}
 %\item …
 %\end{itemize}
-- 
GitLab