diff options
| author | Matt Rendina <rendinam@users.noreply.github.com> | 2017-09-22 11:28:47 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-22 11:28:47 -0400 |
| commit | 5625f45f06fd424794b388718a5c47ab47e5b121 (patch) | |
| tree | 7d757a310f4d840aef7505e241c8d285ffc23d38 /patches | |
| parent | b42617a75628294b715e3fd9f25acdbf29f367c9 (diff) | |
| parent | c4a560e340bee45d60ef499ad963bdd8fbb7cc5d (diff) | |
| download | build_control-5625f45f06fd424794b388718a5c47ab47e5b121.tar.gz | |
Merge pull request #37 from rendinam/activate_pins_by_config
Use pin environment only if pin packages are specified.
Diffstat (limited to 'patches')
0 files changed, 0 insertions, 0 deletions