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

Develop to master merge, release v5.30.0 #198

Merged
merged 24 commits into from
May 3, 2024
Merged

Develop to master merge, release v5.30.0 #198

merged 24 commits into from
May 3, 2024

Commits on Apr 4, 2022

  1. Configuration menu
    Copy the full SHA
    6625ca9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    84ac55b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f67e6db View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    aa0d4c8 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    8883e13 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    d31637d View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    1dbca52 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    7bea7e4 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    e658b66 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    4e1aff5 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    4b1e4ec View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    0bce026 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    85a25e4 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2023

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

Commits on Apr 17, 2024

  1. Configuration menu
    Copy the full SHA
    604e5cb View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2024

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

Commits on Apr 24, 2024

  1. Configuration menu
    Copy the full SHA
    d885010 View commit details
    Browse the repository at this point in the history
  2. Gemfile.lock update

    mdorf committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    ab7b2f0 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    cf8100e View commit details
    Browse the repository at this point in the history
  4. Gemfile.lock update

    mdorf committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    5f9846a View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    e2a27e4 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    cf3ff84 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. use owlapi_wrapper for max_depth calculation

    add back changes in PR#182 that were overwritten by PR#143
    alexskr committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    da1642e View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2024

  1. Gemfile.lock update

    mdorf committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    b10c64a View commit details
    Browse the repository at this point in the history