diff options
| author | jvoisin | 2023-11-26 18:49:14 +0100 |
|---|---|---|
| committer | jvoisin | 2023-11-26 18:49:14 +0100 |
| commit | efd086cc894c04a919b5e1b7729a1490f73d9231 (patch) | |
| tree | a7a692e222ac3343ce231a3bbb99ca233d57c8f5 /src | |
| parent | a9b53d0b7e80a42b679cb83ef5946d79d73412d7 (diff) | |
Clarify a bit the documentation wrt. match/regex
This closes #468
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions