Skip to main content

Browse the archive

Revision ef7d7900ec5115986771e476bf26d76377e71ea4 authored by François Dupressoir on 27 March 2023, 08:59:03 UTC, committed by François Dupressoir on 27 March 2023, 08:59:03 UTC 
restore name
1 parent 9f3bd83
Raw File
.gitignore 
*~

*.pyc
*.pyo

/_build
/etc
/theories/attic

/ec.*
/src/*.exe

*.eco

/*.ec
/*.eca
/*.smt
/*.why

.merlin
*.install
back to top