mit-plv/fiat-crypto

Build should not depend on git

andres-erbsen opened this issue · 1 comments

JasonGross commented

Is this an issue with the rewriter repo, we need to replace git ls-files with find?