| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fixes to tools/proof | John Wiegley | 2009-02-25 | 1 | -4/+52 |
| | | |||||
| * | And more README updates | John Wiegley | 2009-02-21 | 1 | -1/+1 |
| | | |||||
| * | Tools changes to build for multiple targets | John Wiegley | 2009-02-21 | 1 | -0/+9 |
| This makes it easier for me to build a version of ledger with optimizations, one for coverage analysis, one for profiling, etc. | |||||
 |
index : fork-ledger.git | |
| summaryrefslogtreecommitdiff |