aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/cWarnings.ml
Commit message (Expand)AuthorAge
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-02
|\
| * Fix #5061: Warnings flag has no discernible valueGravatar Maxime Dénès2016-09-27
* | Make the user_err header an optional parameter.Gravatar Emilio Jesus Gallego Arias2016-08-19
* | Unify location handling of error functions.Gravatar Emilio Jesus Gallego Arias2016-08-19
|/
* Adding a breaking space in warning names.Gravatar Pierre-Marie Pédrot2016-07-08
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29