Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Define regular expressions; clarify PCRE version #46033

Merged
merged 1 commit into from
Jul 14, 2022

Conversation

ProvocaTeach
Copy link
Contributor

Minor edits to the docs:

  • Add a definition of regular expressions, with an illustrative example
  • Clarify that Julia uses version 2 of PCRE
  • Add semantic link descriptor to PCRE2 spec link

* Add a definition of regular expressions, with an illustrative example
* Clarify that Julia uses version 2 of PCRE
* Add semantic link descriptor to PCRE2 spec link
@inkydragon inkydragon added the docs This change adds or pertains to documentation label Jul 14, 2022
@ViralBShah ViralBShah added the merge me PR is reviewed. Merge when all tests are passing label Jul 14, 2022
@ViralBShah ViralBShah merged commit 79bba8a into JuliaLang:master Jul 14, 2022
@DilumAluthge DilumAluthge removed the merge me PR is reviewed. Merge when all tests are passing label Jul 17, 2022
ffucci pushed a commit to ffucci/julia that referenced this pull request Aug 11, 2022
* Add a definition of regular expressions, with an illustrative example
* Clarify that Julia uses version 2 of PCRE
* Add semantic link descriptor to PCRE2 spec link
pcjentsch pushed a commit to pcjentsch/julia that referenced this pull request Aug 18, 2022
* Add a definition of regular expressions, with an illustrative example
* Clarify that Julia uses version 2 of PCRE
* Add semantic link descriptor to PCRE2 spec link
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs This change adds or pertains to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants