git.sr.ht/~cypheon/Idris2/commit/1babf615719aad561d843ef6aefc6dd49f708ca9

Preview meta tags from the git.sr.ht website.

Linked Hostnames

3

  • General Meta Tags

    13
    • title
      ~cypheon/Idris2: Increase priority of "RECORD" constructor type - sourcehut git
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1
    • vcs
      git
    • vcs:default-branch
      rapid

  • Link Tags

    3
    • icon
      /static/logo.svg
    • icon
      /static/logo.png
    • stylesheet
      /static/git.sr.ht/main.min.d91d8272.css

Links

21