Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
build_docker.sh		build_docker.sh
build_docs.sh		build_docs.sh
bump_version.sh		bump_version.sh
check_for_binary_files.sh		check_for_binary_files.sh
get_cebra_version.sh		get_cebra_version.sh
update_license_headers.py		update_license_headers.py

README.md

Developer tools useful for maintaining the repository

Code headers

The code headers can be standardized by running

python tools/update_license_headers.py

from the repository root.

You can edit the NOTICE.yml to update the header.