darcs

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

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

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

Files
File name Status Uploaded Type Edit Remove
darcs_ui_flags_-add-module-haddocks.dpatch bfrk, 2020-10-20.09:33:49 application/x-darcs-patch
patch-preview.txt bfrk, 2020-10-20.09:33:49 text/x-darcs-patch
unnamed bfrk, 2020-10-20.09:33:49 text/plain
See mailing list archives for discussion on individual patches.
Messages
msg22490 (view) Author: bfrk 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
Attachments
History
Date User Action Args
2020-10-20 09:33:49bfrkcreate
2020-10-20 09:35:57bfrksetstatus: needs-screening -> accepted