100755 blob 0c44f13412e7477294b00e1ebd81b377949a78e4	gen_boards_catalog.py
100644 blob 908cfb0278b9fe3cd730ea4b8d9c821e5b7b481c	gen_devicetree_rest.py
100644 blob 3678d0e3ea9f40e09f9a5afa377c46d0d509cb8e	gen_helpers.py
100644 blob 72ae07b5d542cb201ff00d39b3e81f02f4011bcf	redirects.py