« Previous | Next » 

Revision abdd2fbb

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.


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences