diff options
| author | Michael Stahl <mstahl@redhat.com> | 2012-07-12 14:03:27 +0200 |
|---|---|---|
| committer | Michael Stahl <mstahl@redhat.com> | 2012-07-12 14:12:33 +0200 |
| commit | 96f07eeffc8fc526df9b75a12a33ee7d41a9a099 (patch) | |
| tree | c34b68980b20ef2d0fa641d31e383d0d55376b18 /cui/source/customize | |
| parent | 81181891c93faee024799991317ac2c451f4c0c4 (diff) | |
sorted_vector should not inherit public std::vector
Clearly we don't want to expose std::vector<Value>::insert here, and
neither e.g. push_back.
Change-Id: I89917a23d6d9f36f56474cdc361ba4d513516122
Diffstat (limited to 'cui/source/customize')
0 files changed, 0 insertions, 0 deletions