« Previous | Next » 

Revision abdd2fbb

IDabdd2fbb8e9c345d557a9b5b6e708a6f72ba1cd7
Parent 8efa9d60
Child 05d8e409

Added by mvdan almost 4 years ago

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

View differences