diff options
| author | Carl Hetherington <cth@carlh.net> | 2022-09-11 09:32:06 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2022-09-11 09:32:06 +0200 |
| commit | 3bc8c0bd2375e8180a2745e760c91cfb59b413d7 (patch) | |
| tree | bd9e617932013933f1d3a00199c5cda897d75735 /src/lib/wscript | |
| parent | 61fb89205e631cdb49161bbc4b321d5a93868120 (diff) | |
| parent | 3005c17f626e739b2f8d63f203a0b0a3240eb530 (diff) | |
Merge branch '2323-player-locking'
Various attempts to tidy up and fix the locking of Player (#2323).
Diffstat (limited to 'src/lib/wscript')
| -rw-r--r-- | src/lib/wscript | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lib/wscript b/src/lib/wscript index b566a960c..55c4e735f 100644 --- a/src/lib/wscript +++ b/src/lib/wscript @@ -152,6 +152,7 @@ sources = """ ratio.cc raw_image_proxy.cc reel_writer.cc + referenced_reel_asset.cc release_notes.cc render_text.cc resampler.cc |