Skip to content

GitLab

Commit 1dc42e05 authored by Michael Hanus 's avatar Michael Hanus
Browse files
Options

Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/rewriting

parents b3dce693 2d655d48
Pipeline #258 failed with stages
      Hide whitespace changes
      Inline Side-by-side
      Showing with 0 additions and 0 deletions
      Markdown is supported
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment