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