diff options
Diffstat (limited to 'tools/dm_flags.py')
| -rwxr-xr-x | tools/dm_flags.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/dm_flags.py b/tools/dm_flags.py index 653b8c1e90..461627e2b2 100755 --- a/tools/dm_flags.py +++ b/tools/dm_flags.py @@ -192,6 +192,7 @@ def get_args(bot): 'bleed', 'bleed_alpha_bmp', 'bleed_alpha_bmp_shader', + 'convex_poly_clip', 'extractalpha', 'filterbitmap_checkerboard_32_32_g8', 'filterbitmap_image_mandrill_64', |