Patch 2107 Darcs.UI.Flags: add module haddocks (and 1 more)

Title Darcs.UI.Flags: add module haddocks (and 1 more)
Superseder Nosy List bf
Related Issues
Status accepted Assigned To

Created on 2020-10-20.09:33:49 by bf, last changed 2020-10-20.09:35:57 by bf.

File name Status Uploaded Type Edit Remove
darcs_ui_flags_-add-module-haddocks.dpatch bf, 2020-10-20.09:33:49 application/x-darcs-patch
patch-preview.txt bf, 2020-10-20.09:33:49 text/x-darcs-patch
unnamed bf, 2020-10-20.09:33:49 text/plain
See mailing list archives for discussion on individual patches.
msg22490 (view) Author: bf Date: 2020-10-20.09:33:49
Trivial maintenace patches, will self-accept.

2 patches for repository http://darcs.net/screened:

patch f4db57198c6e174658b9aa8891db6beb43f78a1b
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Jul 20 12:49:46 CEST 2020
  * Darcs.UI.Flags: add module haddocks

patch 563222c676a22aca83a24f1145727ddc19e558f9
Author: Ben Franksen <ben.franksen@online.de>
Date:   Mon Jul 20 12:50:05 CEST 2020
  * Darcs.UI.Flags: reformat some of the code and comments
Date User Action Args
2020-10-20 09:33:49bfcreate
2020-10-20 09:35:57bfsetstatus: needs-screening -> accepted