Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/sofia/fix-task-sync-deadlock/./script/lib
tree: 465ca9a6c30a53bb266974d57ffc9d90f7b05c77 [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.