100755 blob 7583368293f7cb945ac2057637c5a1f4b15af2d0	add_license_header.py
040000 tree 810b76c6a775f9ea42ab0af37238e9325452660b	git
100755 blob b17cb6f12d6f8c281969e2b681588b04dad30238	prepare_doc_publication.py