diff options
| author |   Marcus Fritzsch <marcus_fritzsch@mentor.com> | 2017-07-28 14:40:27 +0200 |
|---|---|---|
| committer | Marcus Fritzsch <marcus_fritzsch@mentor.com> | 2017-08-08 17:24:00 +0200 |
| commit | 626b0fc7a92da537f4914afcd3ff390f855785c4 (patch) | |
| tree | d3790796c80d01c857b2e1e038c82416bf9c51be /src/result.hpp | |
| parent | 979f3c80a66129cadc9260fc52eb5eab2fb73622 (diff) | |
layers: provide a layers-only vector
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
Diffstat (limited to 'src/result.hpp')
0 files changed, 0 insertions, 0 deletions