Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/fix_4138/./script/lib
tree: 2821575f940c008bfd5814d7c4e065a1c3845b32 [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.