diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-07-11 17:09:04 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-07-12 08:22:44 +0200 |
| commit | c1147c8df73eb61bc9d66e6628e0369e21f28670 (patch) | |
| tree | 1f5f75bf13a32941025c134fdd236fb137cf3181 /executor/executor_linux.h | |
| parent | 0faffd0438df859fb66236085ac3992735900d26 (diff) | |
all: fix comments format
Fix capitalization, dots at the end
and two spaces after a period.
Update #1876
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions