diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/agent_detection_manifest_check.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/agent_detection_manifest_check.py b/scripts/agent_detection_manifest_check.py index 46dcdf69..d1346a94 100644 --- a/scripts/agent_detection_manifest_check.py +++ b/scripts/agent_detection_manifest_check.py @@ -38,6 +38,7 @@ REGION_RE = re.compile( r"^(whole_recent|whole_recent_without_current_prompt_marker|after_last_prompt_marker|" r"before_current_prompt_marker|current_prompt_block_marker|after_current_prompt_block_marker|" r"prompt_box_body|above_prompt_box|last_non_empty_above_prompt_box|after_last_horizontal_rule|" + r"osc_title|osc_progress|" r"bottom_lines\([1-9][0-9]*\)|bottom_non_empty_lines\([1-9][0-9]*\))$" ) VERSION_RE = re.compile(r"^[0-9]+(?:\.[0-9]+)*$") |