Compare commits

...

7 Commits

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 Venkatesh
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
3 changed files with 30 additions and 1 deletions

View File

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

2
Lean.gitignore Normal file
View File

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

View File

@ -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
#-----------------------------------------------------------------------------