diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-03-01 11:33:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-01 11:33:01 +0100 |
| commit | 14eb6e7f57e642bda394fa71a0690c0410760000 (patch) | |
| tree | 00aec7147dcc7abea5b362bd617265ab4a72921b /executor | |
| parent | 497599eda62246d2d4fab36b845636a22c9d3633 (diff) | |
docs: add new line in README.md
Add new line between description and supported OSes.
Looks better visually, also list of OSes is not split across lines.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions