100755 blob d638e8a987ff09df5005643f22d4c10363971ff4	extract_content.py
100644 blob 07d7a2807b6bf440e11eac3e43580c8b6a5b2257	fix_tex.py
100644 blob 808321b23e8cc1960a6686c2f7f03c3cb0ffa750	gen_devicetree_rest.py
100644 blob 4a4efca45aebd4be446be12b301d0c34ff216397	gen_helpers.py
100755 blob 7c6ac7cc90f38c7ef20df19bccb854a4e10ac1da	gen_kconfig_rest.py
100755 blob 8fc5c7b329a759bacbeefdc806178b23a54a959f	restore_modification_times.py