tworu/gitignore
1
0 Fork 0
mirror of https://github.com/github/gitignore.git synced 2026-11-14 13:51:51 +01:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Merge 776eef4589 into e9c620b9f6

Browse Source
This commit is contained in:
Tsunami43 authored and GitHub committed 2026-04-07 07:23:14 +00:00
2 parents e9c620b9f6 776eef4589
commit 68966d4715
296 files changed
+3251 -2
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

Agda.gitignore
+11
View File
@@ -1,2 +1,13 @@
# Optional variables
.docker
data
# Environment variables
.env
.env.local
.env.development.local
.env.test.local
.env.production.local
*.agdai
**/MAlonzo/**