Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder
Showing
- .Makefile.lint 0 additions, 304 deletions.Makefile.lint
- .git-blame-ignore-revs 5 additions, 0 deletions.git-blame-ignore-revs
- .gitignore 9 additions, 6 deletions.gitignore
- .gitlab-ci.yml 50 additions, 12 deletions.gitlab-ci.yml
- .gitlab/issue_templates/bug_report.md 30 additions, 21 deletions.gitlab/issue_templates/bug_report.md
- ALL_VERSIONS 3 additions, 0 deletionsALL_VERSIONS
- Changelog 137 additions, 6 deletionsChangelog
- INSTALL.md 81 additions, 74 deletionsINSTALL.md
- Makefile.generating 7 additions, 7 deletionsMakefile.generating
- README.md 34 additions, 17 deletionsREADME.md
- VERSION 1 addition, 1 deletionVERSION
- VERSION_CODENAME 1 addition, 1 deletionVERSION_CODENAME
- bin/build-src-distrib.sh 39 additions, 29 deletionsbin/build-src-distrib.sh
- bin/check-reference-configuration.sh 6 additions, 17 deletionsbin/check-reference-configuration.sh
- bin/check_newline.sh 0 additions, 37 deletionsbin/check_newline.sh
- bin/check_newlines.ml 55 additions, 0 deletionsbin/check_newlines.ml
- bin/frama-c 1 addition, 1 deletionbin/frama-c
- 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-gui.byte 1 addition, 1 deletionbin/frama-c-gui.byte
Loading
Please register or sign in to comment