diff options
| author | ruki <[email protected]> | 2020-10-22 22:44:15 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2020-10-22 22:44:15 +0800 |
| commit | 0a20260f3af11be51723b46464de78fca512993b (patch) | |
| tree | 77367ea68ce2523bde768ae93205748e6e89ad4c /scripts | |
| parent | 1d507f114e9146fd578b960cc72ece3875fceb56 (diff) | |
move xrepo scripts
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/xrepo (renamed from scripts/xrepo/xrepo) | 0 | ||||
| -rwxr-xr-x | scripts/xrepo.bat (renamed from scripts/xrepo/xrepo.bat) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/scripts/xrepo/xrepo b/scripts/xrepo index 2997cf59e..2997cf59e 100755 --- a/scripts/xrepo/xrepo +++ b/scripts/xrepo diff --git a/scripts/xrepo/xrepo.bat b/scripts/xrepo.bat index ec8fb8da5..ec8fb8da5 100755 --- a/scripts/xrepo/xrepo.bat +++ b/scripts/xrepo.bat |