Skip to content
This repository has been archived by the owner on Sep 20, 2024. It is now read-only.

Settings: global validators with options #1892

Merged
merged 2 commits into from
Aug 2, 2021
Merged

Settings: global validators with options #1892

merged 2 commits into from
Aug 2, 2021

Commits on Jul 30, 2021

  1. global: better label

    @jakubjezek001
    jakubjezek001 committed Jul 30, 2021
    Configuration menu
    Copy the full SHA
    74f5703 View commit details
    Browse the repository at this point in the history

  2. settings: global validators with options

    @jakubjezek001
    jakubjezek001 committed Jul 30, 2021
    Configuration menu
    Copy the full SHA
    e8f773e View commit details
    Browse the repository at this point in the history