avoid writing to modules that have no repos anyway - Githubissues

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

MIT License

1.6k stars 52 forks source link

avoid writing to modules that have no repos anyway #158

Closed aep closed 3 years ago

aep commented 3 years ago

fix #157