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.

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:49	bfrk	create
2020-10-20 09:35:57	bfrk	set	status: needs-screening -> accepted

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

Attachments