100755 blob 6a6ebf6f42dc892acf82760c227f58cc083b3105	gen-redirects.py
100755 blob 8cb3b2157d83b9d541d47d5e23344881783808f7	gen-renames.py
040000 tree 4a9f5b759fa7c1ec636941be0aa78910b09560d4	lib
100755 blob bfa4e46a53e38739d6549012b1e1a074e75ba0f6	parse-headers.py