-
Pascal Raymond authored
'-' replaced by 'm', '.' by 'd', (see "correct_num_string" in LicDump.ml)
Pascal Raymond authored'-' replaced by 'm', '.' by 'd', (see "correct_num_string" in LicDump.ml)
'-' replaced by 'm', '.' by 'd', (see "correct_num_string" in LicDump.ml)
'-' replaced by 'm', '.' by 'd', (see "correct_num_string" in LicDump.ml)