diff options
author | wzy <32936898+Freed-Wu@users.noreply.github.com> | 2023-07-19 15:01:11 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-19 10:01:11 +0300 |
commit | b1f429095328a34556c0e9a7a2fefced3db3368c (patch) | |
tree | ecb3a5fd6d15e609b58011f27ff0e1e8b123c92b /convert.py | |
parent | d01bccde9f759b24449fdaa16306b406a50eb367 (diff) |
cmake : install targets (#2256)
fix #2252
Diffstat (limited to 'convert.py')
-rwxr-xr-x[-rw-r--r--] | convert.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/convert.py b/convert.py index 7a2705e..e3f1096 100644..100755 --- a/convert.py +++ b/convert.py @@ -1,3 +1,4 @@ +#!/usr/bin/env python import argparse import concurrent.futures import copy |