Age | Commit message (Expand) | Author |
---|---|---|
2019-12-31 | oberdiek (31dec19) | Karl Berry |
2019-12-17 | oberdiek reduction (18dec19) | Karl Berry |
2019-12-10 | oberdiek (10dec19) | Karl Berry |
2019-12-06 | oberdiek reduction (7dec19) | Karl Berry |
2019-12-04 | oberdiek trimmed more; move some of the new packages among collections per usage | Karl Berry |