Merge Requests · pub

Add the exclude so that the cloning is smaller

pub.frama-c.com!2 · opened Nov 07, 2019 by François Bobot
- MERGED
- 2
updated Nov 07, 2019
Update documentation start paage

pub.frama-c.com!3 · opened Nov 07, 2019 by François Bobot
- MERGED
- 0
updated Nov 07, 2019
Cache bundle files in order to speed up page generation

pub.frama-c.com!4 · opened Nov 07, 2019 by François Bobot
- MERGED
- 0
updated Nov 07, 2019
Import old blog posts and fix/improve general blog layout 3 of 3 tasks completed

pub.frama-c.com!6 · opened Nov 07, 2019 by Andre Maroneze
- MERGED
- 3
updated Apr 06, 2020
Leaflet map in contact page

pub.frama-c.com!7 · opened Nov 07, 2019 by Marc Coudriau
- MERGED
- 0
updated Nov 07, 2019
Fixes plugin pages of Eva, Mthread and Studia

pub.frama-c.com!8 · opened Nov 07, 2019 by David Bühler
- MERGED
- 0
updated Nov 07, 2019
plugins

pub.frama-c.com!9 · opened Nov 07, 2019 by Virgile Prevosto
- MERGED
- 21
updated Apr 02, 2020
Documentation pages

pub.frama-c.com!10 · opened Nov 07, 2019 by Allan Blanchard
- MERGED
- 0
updated Nov 07, 2019
publis

pub.frama-c.com!11 · opened Nov 07, 2019 by Julien Signoles
- MERGED
- 3
updated Sep 01, 2020
add transparent background for Name and Email input fields

pub.frama-c.com!12 · opened Nov 07, 2019 by Thibault Martin
- MERGED
- 0
updated Nov 07, 2019
Fixes the calendar and creates the last events

pub.frama-c.com!13 · opened Nov 07, 2019 by David Bühler
- MERGED
- 1
updated Nov 07, 2019
update author list

pub.frama-c.com!15 · opened Nov 07, 2019 by Thibault Martin
- MERGED
- 0
updated Nov 07, 2019
Fix/glob review

pub.frama-c.com!16 · opened Nov 07, 2019 by Yaëlle Vinçont
- MERGED
- 0
updated Nov 07, 2019
Add community icons

pub.frama-c.com!17 · opened Nov 07, 2019 by Yaëlle Vinçont
- MERGED
- 0
updated Nov 07, 2019
[index] fix Value to Eva

pub.frama-c.com!18 · opened Nov 07, 2019 by Yaëlle Vinçont
- MERGED
- 0
updated Nov 07, 2019
Feature/natural timeline

pub.frama-c.com!19 · opened Nov 12, 2019 by Marc Coudriau
- MERGED
- 0
updated Nov 12, 2019
CONTRIBUTING file

frama-c!1 · opened Nov 27, 2019 by David Bühler
- MERGED
- 0
updated Dec 02, 2019
New page about the ACSL language.

pub.frama-c.com!20 · opened Jan 10, 2020 by Augustin Lemesle
- MERGED
- 1
updated Jan 10, 2020
[gitlab] Indicate that the old BTS is deprecated

frama-c!2 · opened Apr 02, 2020 by Andre Maroneze
- MERGED
- Approved
- 0
updated Nov 28, 2020
[contact] Update contact page

pub.frama-c.com!22 · opened May 04, 2020 by Andre Maroneze
- MERGED
- 1
updated May 05, 2020