diff options
| author | dvshkurko <[email protected]> | 2022-02-10 16:45:51 +0300 |
|---|---|---|
| committer | Daniil Cherednik <[email protected]> | 2022-02-10 16:45:51 +0300 |
| commit | 321ee9bce31ec6e238be26dbcbe539cffa2c3309 (patch) | |
| tree | 14407a2757cbf29eb97e266b7f07e851f971000c /build/scripts/fetch_from_external.py | |
| parent | 2f6ca198245aeffd5e2d82b65927c2465b68b4f5 (diff) | |
Restoring authorship annotation for <[email protected]>. Commit 1 of 2.
Diffstat (limited to 'build/scripts/fetch_from_external.py')
| -rw-r--r-- | build/scripts/fetch_from_external.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/scripts/fetch_from_external.py b/build/scripts/fetch_from_external.py index d4ed6f4221b..c7202d2ed27 100644 --- a/build/scripts/fetch_from_external.py +++ b/build/scripts/fetch_from_external.py @@ -18,7 +18,7 @@ def parse_args(): def main(args): external_file = args.external_file.rstrip('.external') if os.path.isfile(args.resource_file): - fetch_from.process(args.resource_file, os.path.basename(args.resource_file), args, False) + fetch_from.process(args.resource_file, os.path.basename(args.resource_file), args, False) return error = None |