Branches · pub / frama-c · GitLab

master default protected

5ad054dd · Merge branch 'bugfix/patrick/use-of-git-hook-in-external-plugins' into 'master' · Mar 10, 2023

Download source code

zip tar.gz tar.bz2 tar
stable/iron merged

b668f35a · Fixes Changelog. · Feb 15, 2023

Compare

Download source code

zip tar.gz tar.bz2 tar