diff options
| author | Emilio Jesus Gallego Arias | 2018-03-31 01:06:18 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-03-31 01:06:18 +0200 |
| commit | 7b9967a1a145ab70181d362ddafeba7ecb0916bd (patch) | |
| tree | 2d74732a4e05aa094cc05fcc8a6469aad550b6fc /dev/tools/pre-commit | |
| parent | 238e074cd1767b5ce12a733d8e835dd7d715c518 (diff) | |
| parent | 820442433915e4176861e558b95413e4b832b3fa (diff) | |
Merge PR #7111: Fix #6631: Derive Plugin gives "Anomaly: more than one statement".
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions