Merge branch 'feature/exclude-git-lfs-files' into 'master'
Add the exclude so that the cloning is smaller See merge request frama-c/frama-c.frama-c.com!2
No related branches found
No related tags found
Add the exclude so that the cloning is smaller See merge request frama-c/frama-c.frama-c.com!2