| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove deprecated stuff from stdlib (#14699) | Miran | 2020-06-17 | 1 | -1/+1 |
| | | | | | | | | * update to the latest Jester * remove deprecated procs from some stdlib modules * 'criterion' is not maintained anymore and relies on obsolete stuff | ||||
| * | fixes #5237 | Andreas Rumpf | 2017-01-19 | 1 | -0/+13 |