GitBucket
|
Just mark eliminated configurations instead of shrinking the configuration array.
This avoids some overhead, as well as any possible index adjustment omissions in the code. |
|---|
|
|
| source/dub/project.d |
|---|