aboutsummaryrefslogtreecommitdiff
path: root/src/.gitignore
diff options
context:
space:
mode:
authorGravatar Jade Philipoom <jadep@mit.edu>2015-12-28 14:03:20 -0500
committerGravatar Jade Philipoom <jadep@mit.edu>2015-12-28 14:03:20 -0500
commit7a0d65cc22ef66f96e077c14b9c05ed3b4f4886a (patch)
treea2d86ad03815f9f1e81c6a977eab32b7d8cba59d /src/.gitignore
parent3615064f24076237bcd1f3b7815defd29d01a93b (diff)
PointFormats : removed reliance on Pos.size_nat; doubleAndAdd now takes an argument that serves as an upper bound on bit length.
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions