Code

Add Earthfile extension#807

Code

Merged

maxdeviant merged 3 commits intozed-industries:mainzed-industries/extensions:mainfrom glehmann:extension-earthfileglehmann/extensions:extension-earthfileCopy head branch name to clipboardMay 30, 2024

+9

Commits

Commits on May 29, 2024

• add earthfile extension

  glehmann

  committed
  30bdc7e

Commits on May 30, 2024

• Merge branch 'main' into pr/807

  maxdeviant

  committed
  dfb19f2

• Sort .gitmodules

  maxdeviant

  committed
  872c469