Code

Use a hash for repository directory.#710

Code

Merged

gdotdesign merged 1 commit intomastermint-lang/mint:masterfrom hashed-repository-directorymint-lang/mint:hashed-repository-directoryCopy head branch name to clipboardNov 24, 2024

+8-8

Commits

Commits on Nov 21, 2024

• Use a hash for repository directory.

  gdotdesign

  committed
  65ce256

  Copy full SHA for 65ce256