diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-11-10 12:18:00 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-11-10 12:18:00 -0400 |
| commit | 275dbbc0086fd895ae8593f9d37798b57cf51d0f (patch) | |
| tree | 02721777ae92591531908f54bb0c02e7050b2681 /GitAnnexShell.hs | |
| parent | b5b2eb90a83cb2720b21701a523b8a8dcc992215 (diff) | |
separate data type for push stages
This improves type safety.
Diffstat (limited to 'GitAnnexShell.hs')
0 files changed, 0 insertions, 0 deletions