Frama-C Website merge requestshttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests2023-07-18T12:09:35Zhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/197Draft: Release 27.1-Cobalt2023-07-18T12:09:35ZFrama-CI BotDraft: Release 27.1-CobaltOn behalf of "Allan Blanchard" <allan.blanchard@cea.fr> (@blanchard)On behalf of "Allan Blanchard" <allan.blanchard@cea.fr> (@blanchard)Allan BlanchardAllan Blanchardhttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/172Draft: Release 26.0-Iron2022-11-25T09:54:01ZAllan BlanchardDraft: Release 26.0-IronOn behalf of "" <> (@)On behalf of "" <> (@)François BobotFrançois Bobothttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/159Draft: FAKE Release 26.0-Iron2022-08-03T08:18:27ZFrançois BobotDraft: FAKE Release 26.0-IronFrançois BobotFrançois Bobothttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/153[doc] fix manuals for Manganese 25-beta2022-05-18T13:28:05ZAllan Blanchard[doc] fix manuals for Manganese 25-betaFrançois BobotFrançois Bobothttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/50Makes logo compatible with dark mode2020-09-03T15:09:26ZAllan BlanchardMakes logo compatible with dark modehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/21[blog] tweak CSS2020-04-06T09:37:13ZAndre Maroneze[blog] tweak CSSObsoleted by !6Obsoleted by !6Andre MaronezeAndre Maronezehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/5Rewrite link to download to link to gitlab2020-01-15T10:24:29ZFrançois BobotRewrite link to download to link to gitlabIl y a peut-être plus simple. Il faudrait aussi changer git lfs ou ajouter le téléchargement au script. Pour que les seuls fichiers qui ne sont pas dans l'artefact ou qui sont des git-lfs soit ceux qui sont dans download.Il y a peut-être plus simple. Il faudrait aussi changer git lfs ou ajouter le téléchargement au script. Pour que les seuls fichiers qui ne sont pas dans l'artefact ou qui sont des git-lfs soit ceux qui sont dans download.Augustin LemesleAugustin Lemeslehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/14update inria logo2019-11-07T15:50:49ZThibault Martinupdate inria logoAugustin LemesleAugustin Lemeslehttps://git.frama-c.com/pub/pub.frama-c.com/-/merge_requests/1test blog post in markdown2019-10-03T16:15:48ZAndre Maronezetest blog post in markdownAugustin LemesleAugustin Lemesle