100755 blob 73611bcf58c725c1af22a1bbde28b0335d37c264	extract_content.py
100644 blob 07d7a2807b6bf440e11eac3e43580c8b6a5b2257	fix_tex.py
100644 blob 76c6d54f458f78fcf8648fe34f55f0e3308b6ef4	gen_devicetree_rest.py
100644 blob 4a4efca45aebd4be446be12b301d0c34ff216397	gen_helpers.py
100755 blob 7c6ac7cc90f38c7ef20df19bccb854a4e10ac1da	gen_kconfig_rest.py
100755 blob 8fc5c7b329a759bacbeefdc806178b23a54a959f	restore_modification_times.py