Merge f7295a0c69 into 84c6914a9b

feat: create Lean.gitignore

AL.gitignore

@@ -1,22 +1,24 @@
 ### AL ###
-#Template for AL projects for Dynamics 365 Business Central
+# Template for AL projects for Dynamics 365 Business Central
-#launch.json folder
+# Symbols folder
-.vscode/
-#Cache folder
-.alcache/
-#Symbols folder
 .alpackages/
-#Snapshots folder
+# Snapshots folder
 .snapshots/
-#Testing Output folder
+# VSCode folder
-.output/
+.alcache/
-#Extension App-file
+.altemplates/
-*.app
+.history/
-#Rapid Application Development File
+launch.json
 rad.json
-#Translation Base-file
+# Test folders and files
-*.g.xlf
+.output/
-#License-file
+.altestrunner/
-*.flf
-#Test results file
 TestResults.xml
+# Extension App-file
+*.app
+# Translation Base-file
+*.g.xlf
+# License-file
+*.flf
+# Include app.json
+!app.json

Agda.gitignore

@@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**

Global/AL.gitignore

@@ -1,11 +0,0 @@
-.vscode/*
-!.vscode/settings.json
-!.vscode/tasks.json
-!.vscode/launch.json
-!.vscode/extensions.json
-*.code-workspace
-
-# Local History for Visual Studio Code
-.history/
-*.app
-.snapshots/*

Lean.gitignore

@@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/