# Script which automates modifying source version fields, and creating a release # commit and tag. The commit and tag are not automatically pushed, nor are the # crates published (see publish-release.sh).
set -ex
if [ "$#" -ne 1 ] then echo"Usage: $0 <version>"
exit 1 fi
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.