diff options
| author | Javier Hernandez <jhernandez@soleta.eu> | 2023-11-29 12:27:19 +0100 |
|---|---|---|
| committer | OpenGnSys Support Team <soporte-og@soleta.eu> | 2023-11-29 13:20:07 +0100 |
| commit | 3b932fc6a884a3fda8b7a5fdddac85aef8e21a30 (patch) | |
| tree | 5fae94e7669c6f93c917619d1444134677b306a9 /.gitignore | |
| parent | 4a70bc174c6cf73bf21f0bd72ac54c4a6da4d0bb (diff) | |
views: fix repository list in update client
Make the repository list's first element be the current repo in use.
This is needed because, otherwise, an update could inadvertently
change the repo.
Remove a print statement that is no longer needed
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions