diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-09-03 09:45:50 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-09-03 16:22:41 +0200 |
| commit | ffd18c6443b683c4a6a320e7fb5fadca90541612 (patch) | |
| tree | aada59e8e1afcc5b270aef2509d31edc44eee6d4 /executor/test_linux.h | |
| parent | bfe906cbb9c73c326f24327e1a89bc0cd0c314c7 (diff) | |
dashboard/app: split repo and branch by space
We currently split them with / which makes it hard
to copy paste and generally understand that these
are 2 separate things.
Split them with a space. User request:
https://groups.google.com/forum/#!msg/syzkaller-bugs/yNFv3qgXY3I/ejPrxLCdBAAJ
Diffstat (limited to 'executor/test_linux.h')
0 files changed, 0 insertions, 0 deletions