Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/issue_2283/./script/lib
tree: 6acf44da95de613d11197fa3c68844a8f0285de8 [search]
  1. README.md
  2. rebase-editor.sh
  3. update-stage0
script/lib/README.md

This directory contains various scripts that are not meant to be called directly, but through other scripts or makefiles.