diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-09-21 13:05:44 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-09-21 13:05:44 -0400 |
| commit | 7ea332f43e0f3e5f565714ef250ae8413a3ddbb9 (patch) | |
| tree | b8de127db0b6d836ea4087e85628e153193be3ed /Git/FileMode.hs | |
| parent | d3d55029d3adfe126f723cb1312f477dce921534 (diff) | |
webapp: Remove the "disable remote" feature from the UI.
It's confusing, easy to select by accident and get into a situation the
webapp offers no easy recovery from, and pausing syncing works just as well
in most situations.
Diffstat (limited to 'Git/FileMode.hs')
0 files changed, 0 insertions, 0 deletions