Code

Add Leo#6970

Code

Open

d0cd wants to merge 2 commits intogithub-linguist:maingithub-linguist/linguist:mainfrom ProvableHQ:feat/leo-supportProvableHQ/linguist:feat/leo-supportCopy head branch name to clipboard

+415

Commits

Commits on Jul 26, 2024

• Add Linguist support

  d0cd

  committed
  96ca8aa

  Copy full SHA for 96ca8aa

Commits on Aug 5, 2024

• Add cached license file

  d0cd

  committed
  a4227ad

  Copy full SHA for a4227ad