diff options
| author | Maxime Dénès | 2019-03-11 11:14:35 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-03-11 11:14:35 +0100 |
| commit | af5582cbfd91aacd5515e5e6fef6bec0107a0049 (patch) | |
| tree | 7ca6d98762c7b0f305fe76f1dde148a23a6d9f8f /kernel/reduction.ml | |
| parent | 660732f055021bb4ed3d0a4613aac719cb8f3556 (diff) | |
| parent | c5ea163f16392e230c6791275fc192da9c524dcb (diff) | |
Merge PR #9570: Refresh contributing guide and README.
Ack-by: Zimmi48
Ack-by: ejgallego
Reviewed-by: maximedenes
Diffstat (limited to 'kernel/reduction.ml')
0 files changed, 0 insertions, 0 deletions