100644 blob 0899c2993dab9bdadd79689c1c3accc971096f18	.gitignore
100644 blob a4681bc69d6235076ef02ef077509e7234fb12fc	_footer.txt
100644 blob 62f6bf4a6a2d841e6877eb3ecadfd5cc95f49013	git-freeze.txt
100644 blob feb447d1775c9bb11892239519625e58d8eb4a96	git-thaw.txt
040000 tree 1efb33a62107e8689e350bf08f9a286c92d9d43f	htmlout
100755 blob efde5d86dd4267b9a6c87924bd8f4ccc0d4349eb	make_docs.sh