| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | strict effects (#18777) | Andreas Rumpf | 2021-09-02 | 1 | -1/+2 |
| * | require errormsg to be specified before file. | Arne Döring | 2018-12-11 | 1 | -1/+1 |
| * | User pragmas hide effect specs bug fix. Fixes #7216 (#7217) | cooldome | 2018-02-27 | 1 | -0/+11 |