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 /Logs/Unused.hs | |
parent | b5b2eb90a83cb2720b21701a523b8a8dcc992215 (diff) |
separate data type for push stages
This improves type safety.
Diffstat (limited to 'Logs/Unused.hs')
0 files changed, 0 insertions, 0 deletions