ignore extensions folder

tomjn · tomjn · commit 570ce1b1a3fe · 2021-10-06T20:03:27.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -21,6 +21,7 @@ Icon\r\r
 /provision/github.token
 /provision/resources/
 /provision/utilities/
+/provision/extensions/
 /provision/phpcs/
 
 # Ignore custom trigger scripts in config/homebin.
