Merge branch 'fix/martin/doc/update-release-manual' into 'master'
Update release manual See merge request frama-c/frama-c!4592
No related branches found
No related tags found
Showing
- ALL_VERSIONS 0 additions, 66 deletionsALL_VERSIONS
- dev/set-version.sh 5 additions, 0 deletionsdev/set-version.sh
- doc/release/branch.tex 39 additions, 10 deletionsdoc/release/branch.tex
- doc/release/deploy.tex 29 additions, 30 deletionsdoc/release/deploy.tex
- doc/release/validation.tex 34 additions, 17 deletionsdoc/release/validation.tex
ALL_VERSIONS
deleted
100644 → 0
Please register or sign in to comment