From 66490704cb5131faad715849b0d27934798b7bbd Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Mon, 21 Sep 2020 17:26:42 +0200 Subject: [PATCH] [userman] update changes --- doc/userman/user-changes.tex | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/userman/user-changes.tex b/doc/userman/user-changes.tex index ae1a9e54c79..5689809133c 100644 --- a/doc/userman/user-changes.tex +++ b/doc/userman/user-changes.tex @@ -6,6 +6,7 @@ release. First we list changes of the last release. \section*{\nextframacversion} \begin{itemize} +\item \textbf{Getting Started:} updated installation instructions. \item \textbf{Preparing the Sources:} added option \texttt{-print-cpp-commands}. \item \textbf{Reports:} add section about SARIF output -- GitLab