Merge branch 'fix/virgile/no-pragma-in-oracles' into 'master'
[libc] Don't keep needless pragmas when cplusplus is not activated. Closes #717 See merge request frama-c/frama-c!2504
No related branches found
No related tags found
Please register or sign in to comment