diff options
| author | Brian Campbell | 2018-04-11 18:18:27 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-11 18:37:40 +0100 |
| commit | fd006380aa205fdf1119a4842d1eeff58ea29bbe (patch) | |
| tree | ffb861323e07931a3d4ba106b270b522f6be9869 /editors | |
| parent | e0222751eb8eba29c743526ea17896b600dcabb0 (diff) | |
Avoid unnecessary rechecking in remove numeral pats rewrite
(especially as the environment previously used was a bit dodgy)
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions