diff options
| author | Carl Hetherington <cth@carlh.net> | 2018-07-04 02:23:29 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2018-07-04 02:23:29 +0100 |
| commit | c554c20be02b4a518be1be4266f90b88df9d5bd6 (patch) | |
| tree | 014aec0045a14dd44d811cefbd14e4dd6628fcf6 /platform/windows/wscript | |
| parent | 7bcf60f8ad3acd4dcae77a120216839b665c4335 (diff) | |
Replace checkboxes with tools.
Diffstat (limited to 'platform/windows/wscript')
| -rw-r--r-- | platform/windows/wscript | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/platform/windows/wscript b/platform/windows/wscript index faa8bf14d..e02d4c09f 100644 --- a/platform/windows/wscript +++ b/platform/windows/wscript @@ -279,6 +279,8 @@ File "%graphics%/splash.png" File "%graphics%/zoom.png" File "%graphics%/zoom_all.png" File "%graphics%/select.png" +File "%graphics%/snap.png" +File "%graphics%/sequence.png" SectionEnd """, file=f) |