100644 blob 03fb7916b3d9583e5d1678c59e24e7bc77c84d4b	build-pages.rs
100644 blob e1d89fcd6854931376aee35d31edbd8ecc755a91	check_external.rs
100755 blob 2f61d58e6b4af54781af60352aff60229e443903	check_external.sh