Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2015-02-07 | remove Makefile.old | Moritz Lenz | 1 | -109/+0 | |
it seems not to be in use, and I see no benefit in keeping dead code around. git has all the old revisions anyway. | |||||
2012-08-28 | Move star-level Makefile out of the way. | pmichaud | 1 | -0/+109 | |