darcs

Patch 469 correct haddock for PartitionFL

Title correct haddock for PartitionFL
Superseder Nosy List galbolle
Related Issues
Status accepted Assigned To
Milestone

Created on 2010-11-17.19:57:28 by galbolle, last changed 2011-05-10.21:06:37 by darcswatch. Tracked on DarcsWatch.

Files
File name Status Uploaded Type Edit Remove
correct-haddock-for-partitionfl.dpatch galbolle, 2010-11-17.19:57:28 text/x-darcs-patch
unnamed galbolle, 2010-11-17.19:57:28
See mailing list archives for discussion on individual patches.
Messages
msg13096 (view) Author: galbolle Date: 2010-11-17.19:57:28
1 patch for repository http://darcs.net/screened:

Tue Nov 16 15:17:56 CET 2010  Florent Becker <florent.becker@ens-lyon.org>
  * correct haddock for PartitionFL
Attachments
msg13098 (view) Author: darcswatch Date: 2010-11-17.20:11:24
This patch bundle (with 1 patches) was just applied to the repository http://darcs.net/screened.
This message was brought to you by DarcsWatch
http://darcswatch.nomeata.de/repo_http:__darcs.net_screened.html#bundle-9f085042a05ec7d893cae285b8627d6b9d876b0c
msg13146 (view) Author: ganesh Date: 2010-11-21.14:10:02
Looks fine.
msg13148 (view) Author: darcswatch Date: 2010-11-21.14:51:40
This patch bundle (with 1 patches) was just applied to the repository http://darcs.net/.
This message was brought to you by DarcsWatch
http://darcswatch.nomeata.de/repo_http:__darcs.net_.html#bundle-9f085042a05ec7d893cae285b8627d6b9d876b0c
msg14321 (view) Author: darcswatch Date: 2011-05-10.21:06:37
This patch bundle (with 1 patches) was just applied to the repository http://darcs.net/reviewed.
This message was brought to you by DarcsWatch
http://darcswatch.nomeata.de/repo_http:__darcs.net_reviewed.html#bundle-9f085042a05ec7d893cae285b8627d6b9d876b0c
History
Date User Action Args
2010-11-17 19:57:28galbollecreate
2010-11-17 19:58:14darcswatchsetdarcswatchurl: http://darcswatch.nomeata.de/repo_http:__darcs.net_.html#bundle-9f085042a05ec7d893cae285b8627d6b9d876b0c
2010-11-17 20:11:24darcswatchsetstatus: needs-screening -> needs-review
messages: + msg13098
2010-11-21 14:10:02ganeshsetstatus: needs-review -> accepted-pending-tests
messages: + msg13146
2010-11-21 14:51:40darcswatchsetstatus: accepted-pending-tests -> accepted
messages: + msg13148
2011-05-10 21:06:37darcswatchsetmessages: + msg14321