diff options
| author | ruki <[email protected]> | 2022-09-29 00:36:46 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-09-29 00:36:46 +0800 |
| commit | 1496036a67cf746df72b7140096e08b6913a3d9d (patch) | |
| tree | 812bb4ac37bb6636bf6338f3057c6d48a1d69898 /scripts/debian/source | |
| parent | 0d2b60e8732d531a1e75e0a298b8235f1b3cc0da (diff) | |
add isolate when pulling repo #2159
Diffstat (limited to 'scripts/debian/source')
0 files changed, 0 insertions, 0 deletions