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.

Sign up for GitHub

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

Jump to bottom

docs: Configuring Plugins page intro, page tweaks, and rename #16534

Merged
merged 11 commits into from Dec 2, 2022
Merged

docs: Configuring Plugins page intro, page tweaks, and rename #16534

merged 11 commits into from Dec 2, 2022

Commits on Nov 22, 2022

  1. docs: plugins config intro + tweaks

    @bpmutter
    bpmutter committed Nov 22, 2022
    Copy the full SHA
    eda62c6 View commit details
    Browse the repository at this point in the history

  2. refactor intro/page name

    @bpmutter
    bpmutter committed Nov 22, 2022
    Copy the full SHA
    8f94e76 View commit details
    Browse the repository at this point in the history

  3. refactor page to reflect parsers separate from plugins

    @bpmutter
    bpmutter committed Nov 22, 2022
    Copy the full SHA
    4f2de6c View commit details
    Browse the repository at this point in the history

  4. copy edits

    @bpmutter
    bpmutter committed Nov 22, 2022
    Copy the full SHA
    0a3b275 View commit details
    Browse the repository at this point in the history

  5. Apply suggestions from code review 

    Co-authored-by: Nitin Kumar <snitin315@gmail.com>
    @bpmutter @snitin315
    bpmutter and snitin315 committed Nov 22, 2022
    Copy the full SHA
    7a0c4bd View commit details
    Browse the repository at this point in the history

  6. Apply suggestions from code review 

    Co-authored-by: Milos Djermanovic <milos.djermanovic@gmail.com>
    @bpmutter @mdjermanovic
    bpmutter and mdjermanovic committed Nov 22, 2022
    Copy the full SHA
    ffa3c30 View commit details
    Browse the repository at this point in the history

  7. Update docs/src/user-guide/configuring/plugins.md

    @bpmutter
    bpmutter committed Nov 22, 2022
    Copy the full SHA
    3ef40fb View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2022

  1. change titles to non gerund + inline links

    @bpmutter
    bpmutter committed Nov 27, 2022
    Copy the full SHA
    fb138fd View commit details
    Browse the repository at this point in the history

  2. add custom environments bullet point

    @bpmutter
    bpmutter committed Nov 27, 2022
    Copy the full SHA
    40cd2fd View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2022

  1. Apply suggestions from code review 

    Co-authored-by: Milos Djermanovic <milos.djermanovic@gmail.com>
    @bpmutter @mdjermanovic
    bpmutter and mdjermanovic committed Nov 29, 2022
    Copy the full SHA
    60d23ad View commit details
    Browse the repository at this point in the history

  2. update anchor links

    @bpmutter
    bpmutter committed Nov 29, 2022
    Copy the full SHA
    20286ce View commit details
    Browse the repository at this point in the history