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: added entries to glossary #1178

Merged
merged 6 commits into from
Aug 1, 2023
Merged

docs: added entries to glossary #1178

merged 6 commits into from
Aug 1, 2023

Commits on Jul 18, 2023

  1. added entries to glossary

    @pmilaneo
    pmilaneo committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    0370e2e View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. added links to some definitions

    @pmilaneo
    pmilaneo committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    b9dea82 View commit details
    Browse the repository at this point in the history

  2. changed ingress link

    @pmilaneo
    pmilaneo committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    825584e View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2023

  1. fixed some lint errors

    @pmilaneo
    pmilaneo committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    61af7f5 View commit details
    Browse the repository at this point in the history

  2. fixed blank spaces at the end of some lines

    @pmilaneo
    pmilaneo committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    df0187c View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. Merge branch 'main' into docs/glossary

    @pmilaneo
    pmilaneo authored Jul 26, 2023
    Configuration menu
    Copy the full SHA
    ecd39a7 View commit details
    Browse the repository at this point in the history