diff options
| author | Carl Hetherington <cth@carlh.net> | 2024-09-21 23:06:34 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2024-09-21 23:06:34 +0200 |
| commit | 6d1a7e90ec3244b8e532e03c5209d5e8448f422e (patch) | |
| tree | 54334166b1872badfdb7b665c03ddb47823757ff /scripts/plotdiff | |
| parent | 3c8e87575da3795aa31ed9653da72abb8ed88996 (diff) | |
Remove unused change_extension().
It was added "for completeness" apparently but it would now cause
complications in keeping it compatible with various boost versions, so
just remove it as YAGNI.
Diffstat (limited to 'scripts/plotdiff')
0 files changed, 0 insertions, 0 deletions