diff options
| author |   Alexey Neyman <stilor@att.net> | 2018-10-28 18:32:43 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2018-10-28 18:32:43 (GMT) |
| commit | 669f718ab055b1d937a477ec3dbb4d780ac9e8c5 (patch) | |
| tree | dde8ebe7ef50acdc048b035a97e986f8293a142f /.gitignore | |
| parent | d2bf59cb7da0940aa3a7bd660f2701f3eb2677fe (diff) | |
| parent | 6eb2a236a9b39a2523b8373c8aaa47eebdbc5f97 (diff) | |
Merge pull request #1073 from stilor/more-dockers
More dockers
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -32,7 +32,9 @@ temp.* stamp-h1 # Testing -testing/docker/build-* +testing/docker/*/build +testing/docker/*/install +testing/docker/*/xtools # This is the place where toolchains are built .build/ |