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

Devel-main #660

Merged
merged 15 commits into from
May 16, 2023
Merged

Devel-main #660

merged 15 commits into from
May 16, 2023

Commits on May 10, 2023

  1. Configuration menu
    Copy the full SHA
    9d28765 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    38d4d59 View commit details
    Browse the repository at this point in the history
  3. Fix $MT variable.

    TomazErjavec committed May 10, 2023
    Configuration menu
    Copy the full SHA
    95f5b18 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    e46a519 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    1e496cb View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    fd65e98 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    bbb7ed5 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    35b657b View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    eb980d2 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    140d505 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2023

  1. fixing factorize and distro script (interfix '.ana' is not added to t…

    …axonomies seen in TEI version) #652
    matyaskopp committed May 11, 2023
    Configuration menu
    Copy the full SHA
    e6b5b0f View commit details
    Browse the repository at this point in the history

Commits on May 14, 2023

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

Commits on May 15, 2023

  1. Fix regi check.

    TomazErjavec committed May 15, 2023
    Configuration menu
    Copy the full SHA
    1f223ad View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

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