| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix configure script. | Matthias Andreas Benkard | 2011-12-07 | 1 | -1/+1 |
| | | |||||
| * | Makefile: Add target cleanconfig. | Matthias Andreas Benkard | 2011-12-07 | 1 | -1/+1 |
| | | |||||
| * | Improve configure's help output a bit. | Matthias Andreas Benkard | 2011-12-07 | 1 | -2/+2 |
| | | |||||
| * | Add the option of configuring the BPT key and bitmask sizes. | Matthias Andreas Benkard | 2011-12-07 | 1 | -0/+25 |
 |
index : mulk/mulklib | |
| Functional utilities and persistent data structures for C. | Matthias Benkard |
| aboutsummaryrefslogtreecommitdiff |