Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update headers following #6543. | 2018-02-27 | |
| | |||
* | Bump year in headers. | 2017-07-04 | |
| | |||
* | Move ide serialization libraries from lib/ to ide/ | 2016-06-02 | |
This makes the core free from particular protocol choices. It should help with the ppx serialization project and shrinks clib.cma a bit. |