Commit Diff


commit - c0755cbe06aff65c774556816aa4ea6569314615
commit + 31e4b3d01726455972ad5be549730ef747e60c93
blob - /dev/null
blob + 4733d2cd61714cdabc714aca89b1c3dc1cea1178 (mode 644)
--- /dev/null
+++ .gitignore
@@ -0,0 +1,2 @@
+/build
+/src/S3D/Polyhedra/Precomputed.idr