This is a folder for miscellaneous utilities.

make_source_headers.py is a utility for generating the source file headers for all files. The source file header is specified in source_file_header.txt. To use it, run python utils/make_source_headers.py from the root repo directory.