mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 18:34:06 +00:00
chore(script/gen_*): +x
This commit is contained in:
committed by
Leonardo de Moura
parent
3dd7a69068
commit
4bad1bea82