export-ignore /tools/

vudaltsov · vudaltsov · commit c05dd9036d22 · 2025-03-05T20:25:04.000+03:00
diff --git a/.gitattributes b/.gitattributes
@@ -1,6 +1,7 @@
 /.github/                export-ignore
 /stubs/                  export-ignore
 /tests/                  export-ignore
+/tools/                  export-ignore
 /.gitattributes          export-ignore
 /.gitignore              export-ignore
 /.php-cs-fixer.dist.php  export-ignore
