jan/rusty_marvin
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

chore: gitignore AGENTS.md (project-local file)

Browse source
This commit is contained in:
Jan-Peter von Hunnius 2026-07-06 08:23:15 +02:00
parent d00df65a98
commit e5e56fd772
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -15,3 +15,4 @@ proptest-regressions/
# Agent notes # Agent notes
AGENTS.md AGENTS.md
AGENTS.md