Repos
/
s3d
/
tree
/ .gitignore
Blob
Date:
Mon Jan 17 20:33:49 2022 UTC
Message:
Add .gitignore
Actions:
History
|
Blame
|
Raw File
1
/build
2
/src/S3D/Polyhedra/Precomputed.idr