diff options
author | Martin Pitt <martin.pitt@ubuntu.com> | 2016-07-22 09:10:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-22 09:10:04 +0200 |
commit | 5c3c778014f4c59dd97f31ca5ab2e7374f08bbf6 (patch) | |
tree | e6df4d9329c86dbc7c0905e9f138696457f7fe47 /src/shared/machine-pool.h | |
parent | 31d28eabc10967daf06ae6ac4959a59556f1e7ff (diff) | |
parent | c0f81393d137a258a5c255755c08b498860a5241 (diff) |
Merge pull request #3764 from poettering/assorted-stuff-2
Assorted fixes
Diffstat (limited to 'src/shared/machine-pool.h')
0 files changed, 0 insertions, 0 deletions