diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-03-07 13:40:48 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-03-07 13:40:48 -0500 |
| commit | 132764a2236fd6a4acb0e8d698f135c186677ad4 (patch) | |
| tree | 7a745b0bac32fc42c634f1a7246f38c2094c679f /src/shared/label.h | |
| parent | c5abf22514b3925aa6f0d4a3f36f76799bf1911b (diff) | |
shared/machine-pool: remove unnecessary check
CID #128739.
Diffstat (limited to 'src/shared/label.h')
0 files changed, 0 insertions, 0 deletions