Skip to content

Commit 35b3da3

Browse files
daredooledaredoole
authored
Repo: remove AGENTS.md from public tree (#3)
1 parent a30896d commit 35b3da3

2 files changed

Lines changed: 1 addition & 60 deletions

File tree

‎.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@ build/
33
build-*/
44

55
# Working/research files not for public release
6+
AGENTS.md
67
gemini/
78
implementation_plan.md
89
master_verification_protocol.md

‎AGENTS.md‎

Lines changed: 0 additions & 60 deletions
This file was deleted.

0 commit comments

Comments
 (0)