diff options
| author | Pierre-Marie Pédrot | 2017-02-22 13:38:44 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-02-22 13:38:44 +0100 |
| commit | 27e8d8857ea5435ccec9eddd6c34324de82afd32 (patch) | |
| tree | f4a364d54d61f9024d3b70d9aea673ce71a6c8cb /kernel/reduction.ml | |
| parent | e8137ae63b3b19436755f372b595e7343e942894 (diff) | |
| parent | 4ddf3ee41eb6e8faaf223041d2bd42d4c62be58d (diff) | |
Merge branch 'v8.5' into v8.6
Diffstat (limited to 'kernel/reduction.ml')
0 files changed, 0 insertions, 0 deletions