From 91f9a2a3d1d1b8f4285d620a49dc32085fe3a400 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 1 Dec 2021 11:19:15 +0100
Subject: [PATCH] Fix main RTE manual

---
 download/frama-c-rte-manual.pdf | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/download/frama-c-rte-manual.pdf b/download/frama-c-rte-manual.pdf
index 5c14a1b8..78f1710d 100644
--- a/download/frama-c-rte-manual.pdf
+++ b/download/frama-c-rte-manual.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:cb3fb60f678ff4e53ff73a170ed4e16443fa250edfb783cd47b9c350aae0d245
-size 667480
+oid sha256:dd231779aebe1319358f528f153fe705669d82569e2a4a3f384b005c42f7e67b
+size 667473
-- 
GitLab