tworu/gitignore
1
0
Fork 0
mirror of https://github.com/github/gitignore.git synced 2026-08-30 11:47:22 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

Compare commits

base: tworu:84c6914a9b121a28508b2031a7b34a6dac875cf8
Branches Tags
tworu:main
tworu:wirecat-patch-1
tworu:remove-duplicate-template
tworu:copilot/research-github-gitignore-repository
tworu:copilot/research-global-macos-gitignore
tworu:copilot/research-pr-4811
tworu:copilot/research-pr-4811-analysis
tworu:rmw-universe
tworu:rmw-universe-2022
tworu:annotating-visualstudio
tworu:add-metadata
tworu:ghfw
tworu:reduce-noise
tworu:old-ghfw
..
compare: tworu:b4105e73e493bb7a20b5d7ea35efd5780ca44938
Branches Tags
tworu:wirecat-patch-1
tworu:main
tworu:remove-duplicate-template
tworu:copilot/research-github-gitignore-repository
tworu:copilot/research-global-macos-gitignore
tworu:copilot/research-pr-4811
tworu:copilot/research-pr-4811-analysis
tworu:rmw-universe
tworu:rmw-universe-2022
tworu:annotating-visualstudio
tworu:add-metadata
tworu:ghfw
tworu:reduce-noise
tworu:old-ghfw

No commits in common. "84c6914a9b121a28508b2031a7b34a6dac875cf8" and "b4105e73e493bb7a20b5d7ea35efd5780ca44938" have entirely different histories.
84c6914a9b ... b4105e73e4

2 changed files with 1 additions and 3 deletions
Show Stats Expand all files Collapse all files

2
Agda.gitignore
View File

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

2
Lean.gitignore
View File

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