diff options
| author | Pierre-Marie Pédrot | 2015-10-19 10:55:19 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-10-19 10:55:19 +0200 |
| commit | 289dde7331ee19229b9ba4b9778a76007d93b275 (patch) | |
| tree | 6e39a7dc94afe8f09072b306f708e2c7c67c77f0 /lib/pp.ml | |
| parent | c8b57f62f5ad12f8926f57fcdbc5bb2ee3c63eff (diff) | |
Documenting the option "Strict Universe Declaration" in CHANGES.
Diffstat (limited to 'lib/pp.ml')
0 files changed, 0 insertions, 0 deletions