diff options
| -rw-r--r-- | frontends/AGENTS.md (renamed from frontends/AGENT.md) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/frontends/AGENT.md b/frontends/AGENTS.md index d989eca..d989eca 100644 --- a/frontends/AGENT.md +++ b/frontends/AGENTS.md |