diff options
| author |  Jan Tattermusch <jtattermusch@google.com> | 2017-08-14 10:46:43 +0200 |
|---|---|---|
| committer | Jan Tattermusch <jtattermusch@google.com> | 2017-08-14 10:46:43 +0200 |
| commit | fb7c9a485b2e6a07d582cc419ab37ae77bfc3120 (patch) | |
| tree | 9c5607c8e7056ac0dee1b36ce61dc89f2dd88df3 /etc | |
| parent | 5140b5328e4be901d714fed75a5242a2c4fefb98 (diff) | |
auto_set_flakes should respect platform
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions