|
AWS.hs
|
better liftAnnex, avoid using runAnnex undefined
|
2013-03-04 16:36:38 -04:00 |
|
Edit.hs
|
better liftAnnex, avoid using runAnnex undefined
|
2013-03-04 16:36:38 -04:00 |
|
Local.hs
|
fix warning
|
2013-03-12 15:47:30 -04:00 |
|
Pairing.hs
|
gratuitous rename HomeR -> DashboardR
|
2013-03-12 22:18:36 -04:00 |
|
Ssh.hs
|
better liftAnnex, avoid using runAnnex undefined
|
2013-03-04 16:36:38 -04:00 |
|
WebDAV.hs
|
better liftAnnex, avoid using runAnnex undefined
|
2013-03-04 16:36:38 -04:00 |
|
XMPP.hs
|
fix warning
|
2013-03-08 22:25:23 -04:00 |
