Skip to content
Snippets Groups Projects
Commit 5694700e authored by Thibault Martin's avatar Thibault Martin Committed by Thibault Martin
Browse files

Fix typos, add Minimal in external plugin list

parent 0d07477e
No related branches found
No related tags found
No related merge requests found
......@@ -82,7 +82,7 @@ On the new \texttt{stable} branch, execute the script:
This will:
\begin{itemize}
\item update the \texttt{Changelog}
\item update the \texttt{Changelog}s
\item update the changes in the manuals \textbf{(excluding ACSL and E-ACSL references)}
\item update the \texttt{VERSION} and \texttt{VERSION\_CODENAME} files
\item update the \texttt{opam} files (Frama-C, lint, hdrck)
......@@ -119,6 +119,7 @@ List of external plugins repo names:
\item frama-clang
\item GenAssigns
\item Meta
\item Minimal
\item Mthread
\item PathCrawler
\item Security
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment