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

DOV-6118: Config-Rewrite of the Push Notification Plugin #778

Merged
merged 4 commits into from
Sep 22, 2023
Merged

DOV-6118: Config-Rewrite of the Push Notification Plugin #778

merged 4 commits into from
Sep 22, 2023

Commits on Sep 12, 2023

  1. configuration_manual/push_notification: Improve paragraph text flow 

    This commit is purely a reflow of the source code to allow for easier
editing.
    @fleischie
    fleischie committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    295b870 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2023

  1. configuration_manual/push_notification: Rewrite descriptions for new … 

    …settings
    @fleischie
    fleischie committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    36587aa View commit details
    Browse the repository at this point in the history

  2. configuration_manual/push_notification: Simplify table markup 

    Reduce visual clutter of table markup in source file by replacing the
verbose table format with the simple version.
    @fleischie
    fleischie committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    9396b55 View commit details
    Browse the repository at this point in the history

  3. settings/plugin/push-notification-plugin: Rewrite descriptions for ne… 

    …w settings
    @fleischie
    fleischie committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    f87871f View commit details
    Browse the repository at this point in the history