Skip to content
Snippets Groups Projects

Merge branch 'refacto' of git.frama-c.com:pub/pub.frama-c.com into refacto

Passed
created pipeline for commit 10c1d697
, finished
1 related merge request: !44 Creates a CSS for tiles and removes old stuff
3 jobs 1 minute 19 seconds, queued for 3 seconds