Daniel Martí 3c35927085 Undo update repo button hiding in e984ed82ef3
The button can be hidden or entirely removed once users have an easy way to
trigger an index update, e.g. via pull to refresh.
2015-08-15 13:11:20 -07:00
..
2015-08-05 16:48:45 -07:00
2015-08-09 12:15:06 -07:00
2015-08-09 21:33:36 -07:00