1
0
Fork 0

Remove unintended double space

pull/1203/head
Alejandro González 2022-10-11 17:07:27 +02:00 committed by GitHub
parent 75b96d08b0
commit 8fbb4cc84b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -142,7 +142,7 @@ Some of the starter actions are already using problem matchers, for example:
Use ECMAScript regular expression syntax when testing patterns.
The patterns match the input lines as-is, without stripping ANSI escape codes or other extraneous characters. If the subject strings can contain such characters, the regular expression must account for them.
The patterns match the input lines as-is, without stripping ANSI escape codes or other extraneous characters. If the subject strings can contain such characters, the regular expression must account for them.
### File property getting dropped