Joey Hess 81953c2131 separate data type for push stages ... This improves type safety.		2012-11-10 12:18:00 -04:00
..
Buddies.hs	finished XMPP pairing!	2012-11-05 17:43:17 -04:00
Client.hs	rename xmpp creds file	2012-11-03 18:58:37 -04:00
Git.hs	separate data type for push stages	2012-11-10 12:18:00 -04:00