Merge branch 'update-headers' into 'master'
Update headers See merge request frama-c/frama-c!4072
No related branches found
No related tags found
Showing
- Makefile 1 addition, 1 deletionMakefile
- bin/build-src-distrib.sh 1 addition, 1 deletionbin/build-src-distrib.sh
- bin/check-reference-configuration.sh 1 addition, 1 deletionbin/check-reference-configuration.sh
- bin/dune 1 addition, 1 deletionbin/dune
- bin/frama-c 1 addition, 1 deletionbin/frama-c
- bin/frama-c-build-scripts.sh 1 addition, 1 deletionbin/frama-c-build-scripts.sh
- bin/frama-c-config 1 addition, 1 deletionbin/frama-c-config
- bin/frama-c-gui 1 addition, 1 deletionbin/frama-c-gui
- bin/frama-c-script 1 addition, 1 deletionbin/frama-c-script
- bin/frama-c.debug 1 addition, 1 deletionbin/frama-c.debug
- bin/git.sh 1 addition, 1 deletionbin/git.sh
- bin/indent.sh 1 addition, 1 deletionbin/indent.sh
- bin/init-plugin.sh 1 addition, 1 deletionbin/init-plugin.sh
- bin/lint.sh 1 addition, 1 deletionbin/lint.sh
- bin/merge-master.sh 1 addition, 1 deletionbin/merge-master.sh
- bin/migration_scripts/aluminium2silicon.sh 1 addition, 1 deletionbin/migration_scripts/aluminium2silicon.sh
- bin/migration_scripts/boron2carbon.sh 1 addition, 1 deletionbin/migration_scripts/boron2carbon.sh
- bin/migration_scripts/calcium2scandium.sh 1 addition, 1 deletionbin/migration_scripts/calcium2scandium.sh
- bin/migration_scripts/carbon2nitrogen.sh 1 addition, 1 deletionbin/migration_scripts/carbon2nitrogen.sh
- bin/migration_scripts/chlorine2argon.sh 1 addition, 1 deletionbin/migration_scripts/chlorine2argon.sh
Loading
Please register or sign in to comment