Merge Requests · pub

Fix/glob review

pub.frama-c.com!16 · opened Nov 07, 2019 by Yaëlle Vinçont
- 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
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
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
Leaflet map in contact page

pub.frama-c.com!7 · opened Nov 07, 2019 by Marc Coudriau
- MERGED
- 0
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
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