Code

Mark dev_env_tool as local#3402

Code

Closed

aherrmann-da wants to merge 4 commits intomasterdigital-asset/daml:masterfrom makensis_dev_envdigital-asset/daml:makensis_dev_envCopy head branch name to clipboard

+25-3

Commits

Commits on Nov 8, 2019

• Mark dev_env_tool as local

  Show description for e8d4472
  aherrmann

  committed
  e8d4472

  Copy full SHA for e8d4472

• Define nodejs_dev_env tools

  aherrmann

  committed
  0c9874e

  Copy full SHA for 0c9874e

• dev_env_tool copy the manifest file

  aherrmann

  committed
  5f0760e

  Copy full SHA for 5f0760e

• Manually fetch @makensis_dev_env

  aherrmann

  committed
  eee6d64

  Copy full SHA for eee6d64