diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-06 12:43:08 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-06 12:43:08 +0200 |
| commit | 74308ab241d265c4cf270d1758ecd85f3ea726e4 (patch) | |
| tree | ebde9c9a54421a41c41f325693ed8056c98f423f /doc/manual.cli | |
| parent | e6b196fc6df51fe6465914a00950c03550992232 (diff) | |
Pass toolchain id and number to bbot agent
Diffstat (limited to 'doc/manual.cli')
0 files changed, 0 insertions, 0 deletions