コミット履歴

作者 SHA1 メッセージ 日付
  Andreas Rumpf e0ef859130 strict effects (#18777) 3 年 前
  Arne Döring 1105d03644 require errormsg to be specified before file. 6 年 前
  cooldome 0a8684db4c User pragmas hide effect specs bug fix. Fixes #7216 (#7217) 6 年 前