diff options
| author | coqbot | 2020-08-17 21:15:10 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-17 21:15:10 +0200 |
| commit | aa926429727f1f6b5ef07c8912f2618d53f6d155 (patch) | |
| tree | b8618de2bce933e4955e1d19ca48b72437b623c2 /kernel/nativelambda.ml | |
| parent | 55c66171b18f6aecf6e5ce4f5e06fccb85004df7 (diff) | |
| parent | e60721cf3108c569e743e4bc74032ddf35b291dc (diff) | |
Merge PR #12841: Recommend replace as a replacement to cutrewrite.
Reviewed-by: jfehrle
Reviewed-by: ppedrot
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions