Skip to content
Snippets Groups Projects
Commit 65a7815c authored by Richard Eisenberg's avatar Richard Eisenberg
Browse files

Remove isTyVarHead

parent 803bbf04
No related merge requests found
Pipeline #27874 failed
Stage: tool-lint
    Stage: quick-build
      Stage: lint
        Stage: build
          Stage: full-build
            Stage: packaging
              Stage: testing
                Hide whitespace changes
                Inline Side-by-side
                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