Merge e0041f1269 into 84c6914a9b

Merge pull request #4828 from quantum9Innovation/lean-gitignore
feat: create Lean.gitignore
2026-11-06 01:54:39 +01:00 · 2026-04-04 03:00:59 +00:00 · 2026-04-03 17:05:51 -07:00 · 2026-04-03 20:04:27 -04:00 · 2026-04-03 14:15:11 -07:00 · 2026-03-28 21:42:41 -07:00
3 changed files with 30 additions and 1 deletions
@@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**
@@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/
@@ -0,0 +1,27 @@
+#=============================================================================
+# Microchip MPLAB X IDE .gitignore file.
+#
+# MPLABX: https://www.microchip.com/en-us/tools-resources/develop/mplab-x-ide
+#
+# MPLABX Version Control:-
+# https://developerhelp.microchip.com/xwiki/bin/view/software-tools/ides/x/version-control/working-with-version-control/
+#-----------------------------------------------------------------------------
+
+# MPLAB X (NetBeans) Project files
+**/*.X/nbproject/private/
+**/*.X/nbproject/Makefile-*
+**/*.X/nbproject/Package-*
+!**/*.X/nbproject/*.xml
+
+# MPLAB X Generated Files and Build Output
+**/*.X/.generated_files/
+**/*.X/build/
+**/*.X/dist/
+**/*.X/debug/
+
+# MPLAB Code Configurator (MCC)
+**/*.X/mcc_generated_files/
+**/*.X/mcc-manifest-*.yml
+
+#-----------------------------------------------------------------------------
+
Author	SHA1	Message	Date
justinlanejigglesoft	8ee8bd111b	Merge `e0041f1269` into `84c6914a9b`	2026-04-04 03:00:59 +00:00
Devin Dooley	84c6914a9b	Merge pull request #4828 from quantum9Innovation/lean-gitignore feat: create Lean.gitignore	2026-04-03 17:05:51 -07:00
Ananth VenkateshandDevin Dooley	5f760225cf	fix: only match on `.lake` directory Co-authored-by: Devin Dooley <dooleydevin@github.com>	2026-04-03 20:04:27 -04:00
Devin Dooley	f963896e65	Merge pull request #4818 from vicgeentor/patch-1 Update Agda.gitignore to exclude MAlonzo directories in any location	2026-04-03 14:15:11 -07:00
Ananth Venkatesh	b9ad512a45	feat: create Lean.gitignore	2026-03-28 21:42:41 -07:00
Vic	8431b56bed	include MAlonzo directories in any location	2026-03-18 14:07:30 +01:00
Justin Lane	e0041f1269	Created Microchip_MPLAB_X_IDE.gitignore file.	2025-10-28 19:20:51 +00:00