[darcs-users] [patch384] now with added docs
Ganesh Sittampalam
bugs at darcs.net
Fri Sep 3 19:43:27 UTC 2010
Ganesh Sittampalam <ganesh at earth.li> added the comment:
I meant to sent the doc patch at the end separately, but it depends
so might as well go together:
5 patches for repository http://darcs.net:
Fri Sep 3 18:25:25 BST 2010 Ganesh Sittampalam <ganesh at earth.li>
* drop unused filterE/Proof
Fri Sep 3 18:48:55 BST 2010 Ganesh Sittampalam <ganesh at earth.li>
* drop unsafeMap_l2f
Fri Sep 3 18:57:22 BST 2010 Ganesh Sittampalam <ganesh at earth.li>
* drop unused headRL
Fri Sep 3 19:00:19 BST 2010 Ganesh Sittampalam <ganesh at earth.li>
* drop unused concatReverseFL
Fri Sep 3 19:12:55 BST 2010 Ganesh Sittampalam <ganesh at earth.li>
* add some haddock to Darcs.Witnesses.Eq
----------
title: drop unused filterE/Proof (and 3 more) -> now with added docs
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch384>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: drop-unused-filtere_proof.dpatch
Type: text/x-darcs-patch
Size: 54452 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20100903/10466999/attachment-0001.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: unnamed
Type: application/octet-stream
Size: 5 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20100903/10466999/attachment-0001.obj>
More information about the darcs-users
mailing list