tworu/gitignore
1
0 Fork 0
mirror of https://github.com/github/gitignore.git synced 2026-11-07 10:30:43 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Compare commits

base: tworu/gitignore:3e35dc690cb78e03ec5b94f4df1941f2dfeea89c
tworu/gitignore:main tworu/gitignore:copilot/research-github-gitignore-repository tworu/gitignore:copilot/research-global-macos-gitignore tworu/gitignore:copilot/research-pr-4811 tworu/gitignore:copilot/research-pr-4811-analysis
..
compare: tworu/gitignore:b787e55e64c24809d511ebea343d03d7f62110e2
tworu/gitignore:main tworu/gitignore:copilot/research-github-gitignore-repository tworu/gitignore:copilot/research-global-macos-gitignore tworu/gitignore:copilot/research-pr-4811 tworu/gitignore:copilot/research-pr-4811-analysis
1 Commits
3e35dc690c .. b787e55e64
Author SHA1 Message Date
Benjamin Michaelis b787e55e64 Merge 6d24007ad2 into b4105e73e4 2026-02-13 17:54:58 +00:00
2 changed files with 1 additions and 3 deletions
Expand all files Collapse all files

No files matched your search

Agda.gitignore
+1 -1
View File
@@ -1,2 +1,2 @@
*.agdai *.agdai
**/MAlonzo/** MAlonzo/**
Lean.gitignore
-2
View File
@@ -1,2 +0,0 @@
# cache and other artifacts produced by Lean's Lake build tool
.lake/