
#518: reconfigure command that uses the previous configure command
----------------------------+-----------------------------------------------
Reporter: guest | Owner:
Type: enhancement | Status: closed
Priority: normal | Milestone:
Component: Cabal library | Version: 1.6.0.1
Severity: normal | Resolution: fixed
Keywords: | Difficulty: unknown
Ghcversion: | Platform:
----------------------------+-----------------------------------------------
Changes (by duncan):
* status: new => closed
* resolution: => fixed
Comment:
{{{
Wed Aug 25 14:11:06 BST 2010 Dmitry Astapov