Auteur | SHA1 Message | Date |
---|---|---|
Andreas Rumpf | e0ef859130 strict effects (#18777) | il y a 3 ans |
Arne Döring | 1105d03644 require errormsg to be specified before file. | il y a 6 ans |
cooldome | 0a8684db4c User pragmas hide effect specs bug fix. Fixes #7216 (#7217) | il y a 6 ans |