diff options
| author | Théo Zimmermann | 2019-11-03 15:05:20 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-11-03 15:05:20 +0100 |
| commit | 634cb7b8a07a34fc29d074591091f0a6170f7bff (patch) | |
| tree | 9ab97156b83e34764f522eec7ad464ad2dfdb6f4 /dev | |
| parent | ab8ed0a39e7e39573716a473618ed4f7c219d072 (diff) | |
| parent | b47d2db97791bb9bfd0052b1be357ab78a960542 (diff) | |
Merge PR #10958: Elan → Stratego in documentation of `rewrite_strat`.
Reviewed-by: Zimmi48
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions