Merge: lib/opts: accept non-conflicting parameters for OptionString and rename get_er...
[nit.git] / lib / core / numeric.nit
2015-08-27 Jean Privatlib: rename `standard` as `core`