Merge branch 'merge-stable-nickel' into 'master'
merge stable/nickel into master and update VERSION See merge request frama-c/frama-c!4382
No related branches found
No related tags found
Showing
- Changelog 4 additions, 0 deletionsChangelog
- INSTALL.md 3 additions, 3 deletionsINSTALL.md
- VERSION 1 addition, 1 deletionVERSION
- VERSION_CODENAME 1 addition, 1 deletionVERSION_CODENAME
- bin/frama-c-build-scripts.sh 1 addition, 1 deletionbin/frama-c-build-scripts.sh
- dev/set-version.sh 15 additions, 7 deletionsdev/set-version.sh
- doc/LICENSE 1 addition, 1 deletiondoc/LICENSE
- doc/developer/check_api/check_and_compare.ml 1 addition, 1 deletiondoc/developer/check_api/check_and_compare.ml
- doc/developer/check_api/check_code.ml 1 addition, 1 deletiondoc/developer/check_api/check_code.ml
- doc/developer/check_api/check_index_lexer.mll 1 addition, 1 deletiondoc/developer/check_api/check_index_lexer.mll
- doc/developer/developer.tex 3 additions, 1 deletiondoc/developer/developer.tex
- doc/developer/tutorial/hello/src/dune 1 addition, 1 deletiondoc/developer/tutorial/hello/src/dune
- doc/developer/tutorial/hello/src/dune-project 1 addition, 1 deletiondoc/developer/tutorial/hello/src/dune-project
- doc/developer/tutorial/viewcfg/Makefile 1 addition, 1 deletiondoc/developer/tutorial/viewcfg/Makefile
- doc/developer/tutorial/viewcfg/src/Makefile.split 1 addition, 1 deletiondoc/developer/tutorial/viewcfg/src/Makefile.split
- doc/release/branch.tex 12 additions, 7 deletionsdoc/release/branch.tex
- doc/userman/userman.tex 1 addition, 1 deletiondoc/userman/userman.tex
- opam 2 additions, 2 deletionsopam
- reference-configuration.md 1 addition, 1 deletionreference-configuration.md
- releases/28.0.md 23 additions, 0 deletionsreleases/28.0.md
Loading
Please register or sign in to comment