diff options
| author | Joel Klinghed <the_jk@spawned.biz> | 2018-02-15 22:58:17 +0100 |
|---|---|---|
| committer | Joel Klinghed <the_jk@spawned.biz> | 2018-02-15 22:58:40 +0100 |
| commit | 2ca250f508f795fa786ea3b41f61a451a511a4a0 (patch) | |
| tree | 3779911a9f01bf1e9ba0e3f716a4fb3379659aa8 /src/main/resources | |
| parent | 5ea5ec068a5cd7d4b1328b6c14a34d17ac69f69d (diff) | |
Add option for not running generate*Sources task before check
For large projects running generate*Sources can incur a heavy cost
Diffstat (limited to 'src/main/resources')
0 files changed, 0 insertions, 0 deletions