mirror of
https://github.com/Aider-AI/aider.git
synced 2025-06-26 22:45:00 +00:00
Merge branch 'main' of github.com:Aider-AI/aider
This commit is contained in:
commit
75f1a33292
1 changed files with 1 additions and 1 deletions
|
@ -383,7 +383,7 @@ def do_replace(fname, content, before_text, after_text, fence=None):
|
|||
return new_content
|
||||
|
||||
|
||||
HEAD = r"^<{5,9} SEARCH\s*$"
|
||||
HEAD = r"^<{5,9} SEARCH>?\s*$"
|
||||
DIVIDER = r"^={5,9}\s*$"
|
||||
UPDATED = r"^>{5,9} REPLACE\s*$"
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue