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

Observable Preferences L (GrobidPreferences) #9065

Merged
merged 9 commits into from
Aug 16, 2022
Merged

Commits on Aug 14, 2022

  1. Configuration menu
    Copy the full SHA
    e8a8a7b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    eb63e48 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2022

  1. Extract GrobidPreferences

    calixtus committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    c07905b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ba23ec7 View commit details
    Browse the repository at this point in the history
  3. Fixed tests

    calixtus committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    1d7459e View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    bffde89 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    ee80ed8 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    8757c9f View commit details
    Browse the repository at this point in the history
  7. Fixed tests

    calixtus committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    40dd59d View commit details
    Browse the repository at this point in the history