Revision abdd2fbb
ID | abdd2fbb8e9c345d557a9b5b6e708a6f72ba1cd7 |
Parent | 8efa9d60 |
Child | 05d8e409 |
Bring back "Update repos" to the main menu
This can later be removed again if the user still has a way to easily update
repos manually without having to enter "Manage Repos" and exit again. A good
option would be a pull-to-refresh action.
Files
- added
- modified
- copied
- renamed
- deleted