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