diff options
| author | coqbot-app[bot] | 2021-03-12 16:22:26 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-12 16:22:26 +0000 |
| commit | 50654a3c660b9e39f7e9d2426b0b53afc48138c5 (patch) | |
| tree | e4501ef5d6ccfa34643fde049e98fd156830bf54 /plugins | |
| parent | d33266649d285b7d8ba5a7093319faa6132d6bc9 (diff) | |
| parent | 285419e99996354ad2056bc38725c7a592124e7c (diff) | |
Merge PR #13907: Algorithmically faster algorithm for term replacing.
Reviewed-by: SkySkimmer
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions