diff options
| author | davidovski <david@davidovski.xyz> | 2021-11-02 10:30:49 +0000 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2021-11-02 10:30:49 +0000 |
| commit | 201c08f24d2b17c4ae69793428ab8a9abdb02e8b (patch) | |
| tree | 4a846d700ce813543082bbc23f8b292f73bfb81c /git_repos.txt | |
| parent | 0ec63c97b9009187d7d2d32d5d065a863a6aa323 (diff) | |
separated syncing and building
Diffstat (limited to 'git_repos.txt')
0 files changed, 0 insertions, 0 deletions