Bug Tracker Home
Issues Show Unassigned Show All Search Issues
Patches Show Open Show All Search Patches
Login Remember me? Register Lost your login?
Help Roundup docs
Created on 2015-06-22.23:48:56 by bfrk, last changed 2015-07-29.21:31:44 by ganesh.
1 patch for repository http://darcs.net/screened: patch 8b49455a02b19508a42b56c368638fb600aa0899 Author: Ben Franksen <benjamin.franksen@helmholtz-berlin.de> Date: Sun Jun 21 13:25:30 CEST 2015 * cleanup: removed an unused export from Darcs.UI.Options.Matching