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