diff options
| author | Carl Hetherington <cth@carlh.net> | 2025-08-27 11:30:43 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2025-08-27 11:30:43 +0200 |
| commit | e6fb4bdea51f69a0309ce6aba6f06012145049e1 (patch) | |
| tree | cbacc1017cd0bb0dd456022548da7b0e6b07ce22 | |
| parent | f68b1a097040995399c94dbb4132f65a8cdc9e98 (diff) | |
Add missing file to i18n gathering.
| -rw-r--r-- | src/tools/wscript | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/wscript b/src/tools/wscript index e6d7c4be1..45ce81533 100644 --- a/src/tools/wscript +++ b/src/tools/wscript @@ -180,6 +180,7 @@ def pot(bld): dcpomatic_player.cc dcpomatic_playlist.cc dcpomatic_server.cc + dcpomatic_verifier.cc """ i18n.pot(os.path.join('src', 'tools'), cc, 'dcpomatic') |
