update tools

Remi-Gau · Remi-Gau · commit f39810c74335 · 2023-09-02T15:10:15.000-04:00
diff --git a/tools/update_intended_for.py b/tools/update_intended_for.py
@@ -82,7 +82,7 @@ def main():
         if not DRY_RUN:
             with open(json_path, "w") as f:
                 content["IntendedFor"] = intended_for
-                json.dump(content, f, indent=4)
+                json.dump(content, f, indent=1)
 
 
 if __name__ == "__main__":
