diff options
| author | Tom Cherry <tomcherry@google.com> | 2018-03-15 20:04:17 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2018-03-15 20:04:17 +0000 |
| commit | 39273df6516a990f593d89d6259cc89ac6bbecbd (patch) | |
| tree | e5ec1cd093e9dd824af73be37f7fb00d5628becc /trusty/coverage/coverage.cpp | |
| parent | 7a72d07e40e742777e8477948d983dcc46c5c6a8 (diff) | |
| parent | 1f9d5406b3e4e86724248b71a3bd68a1440169e2 (diff) | |
Merge "init: add timers around sync() during shutdown"
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions