
|
If you were logged in you would be able to see more operations.
|
|
|
|
Original Estimate:
|
Unknown
|
Remaining Estimate:
|
Unknown
|
Time Spent:
|
Unknown
|
|
| Build: |
8,208
|
| Fixed in build: |
8,442
|
|
if the output directory of some plugin that generates sources is set so that it is some directory ${project.build.directory}/dir_name, where
dir_name != generated-sources, then this directory is excluded always. It would be nice to avoid this behavior somehow.
|
|
Description
|
if the output directory of some plugin that generates sources is set so that it is some directory ${project.build.directory}/dir_name, where
dir_name != generated-sources, then this directory is excluded always. It would be nice to avoid this behavior somehow. |
Show » |
| There are no comments yet on this issue.
|
|