diff options
| author | Carl Hetherington <cth@carlh.net> | 2024-05-17 15:52:44 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2024-05-19 23:07:52 +0200 |
| commit | e9627c2ac61551e3598601805d12938479ad3dff (patch) | |
| tree | 03bb80bcb3e6c0dac7cd31f56d469132af6378a2 | |
| parent | 7f6cc5c6e151c32fce94181689cf740a011feafb (diff) | |
Cleanup: sorting.
| -rw-r--r-- | src/lib/wscript | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lib/wscript b/src/lib/wscript index 87a1ca787..df06f0f9b 100644 --- a/src/lib/wscript +++ b/src/lib/wscript @@ -175,9 +175,9 @@ sources = """ send_problem_report_job.cc server.cc shuffler.cc - state.cc spl.cc spl_entry.cc + state.cc string_log_entry.cc string_text_file.cc string_text_file_content.cc |