1
0
Fork 0

Merge remote-tracking branch 'origin/devel' into jwt

This commit is contained in:
Andreas Streichardt 2016-06-02 16:35:11 +02:00
commit d95d023c25
1 changed files with 1 additions and 1 deletions

View File

@ -283,7 +283,7 @@ characters and sequences:
- *^*: matches the beginning of the string
- *$*: matches the end of the string
Note that the characters *.*, *\**, *?*, *[*, *]*, *(*, *)*, *{*, *}*, *^*,
Note that the characters *.*, <i>\*</i>, *?*, *[*, *]*, *(*, *)*, *{*, *}*, *^*,
and *$* have a special meaning in regular expressions and may need to be
escaped using a backslash (*\\*). A literal backslash should also be escaped
using another backslash, i.e. *\\\\*.