diff options
| author | Máté Ferenc Nagy-Egri <mate@rastergrid.com> | 2024-10-28 15:33:49 +0100 |
|---|---|---|
| committer | Charles Giessen <46324611+charles-lunarg@users.noreply.github.com> | 2024-10-28 09:57:25 -0600 |
| commit | 7a963034352e8c0dfddd97380e5f328bc471c996 (patch) | |
| tree | 3ff17ae948e29860f03940b2aac5d352ebf58642 /scripts/generate_source.py | |
| parent | 9e1ba445cb9ef5267c6062e91c2fa978b1771ba6 (diff) | |
| download | usermoji-7a963034352e8c0dfddd97380e5f328bc471c996.tar.xz | |
scripts: Handle remote URL change in update_deps.py
Without going through an intricate dance with git to change the remote
URL of a repository, it's simplest to just nuke the cloned folder, as
we have to do a clean clone anyway.
Diffstat (limited to 'scripts/generate_source.py')
0 files changed, 0 insertions, 0 deletions