diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawmXtqLEfN6cGcF9gW_09QUDoRpsexSdRcM <Thomas@web> | 2014-01-26 15:18:56 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2014-01-26 15:18:56 +0000 |
| commit | 17b41ec6c11b1242ee9c40e6bc7a60bf01b417ff (patch) | |
| tree | edafa9c1748302f281d0980e2df03d72ce67ceea /Messages/JSON.hs | |
| parent | 7dfb1a25d15ea3135f3f71cb6c6f2b290a8f117b (diff) | |
Option to delete remote repo when sync failed missing
Diffstat (limited to 'Messages/JSON.hs')
0 files changed, 0 insertions, 0 deletions