Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Remove deskutils/checkrdf, it is not developed and maintained anymore | pgj | 2014-06-30 | 5 | -127/+0 |
* | Add NO_STAGE all over the place in preparation for the staging support (cat: ... | bapt | 2013-09-21 | 1 | -0/+1 |
* | - Chase GHC 7.6 update | pgj | 2013-06-05 | 2 | -5/+19 |
* | - Fix breakage in the DYNAMIC-enabled ports triggered by the recent | pgj | 2013-02-06 | 1 | -6/+2 |
* | - Fix handling of the DOCS options | pgj | 2012-08-08 | 1 | -1/+1 |
* | - Use the new options framework | pgj | 2012-08-03 | 1 | -2/+7 |