Revision d97c196a - Changed mpfr threshold to 2 - LustreC

« Previous | Next »

Revision d97c196a

ID	d97c196ac627f1b010696c280c81169fa4acafe0
Parent	0f36882c
Child	84462531

Added by Xavier Thirioux about 5 years ago

Changed mpfr threshold to 2

Files

added
modified
copied
renamed
deleted

View differences

Makefile.in (diff)
src
- options.ml (diff)