diff options
| author | Andrew Chow <github@achow101.com> | 2023-08-09 07:36:08 -0400 |
|---|---|---|
| committer | Andrew Chow <github@achow101.com> | 2023-08-14 17:39:49 -0400 |
| commit | 91d924ede1b421df31c895f4f43359e453a09ca5 (patch) | |
| tree | 823f62a894ec3839da6491cbcd0a2cacf9b02522 /doc/release-notes/release-notes-24.0.1.md | |
| parent | bacdb2e208531124e85ed2d4ea2a4b508fbb5088 (diff) | |
Rename script/standard.{cpp/h} to script/solver.{cpp/h}
Since script/standard only contains things that are used by the Solver
and its callers, rename the files to script/solver.
Diffstat (limited to 'doc/release-notes/release-notes-24.0.1.md')
0 files changed, 0 insertions, 0 deletions