diff options
| author | Stanislaw Halik <sthalik@misaki.pl> | 2018-01-09 15:05:35 +0100 |
|---|---|---|
| committer | Stanislaw Halik <sthalik@misaki.pl> | 2018-01-10 03:18:57 +0100 |
| commit | af2dcca279e6fc23c9b1694170cbdfe36b32eb79 (patch) | |
| tree | a1d5cf6e77735e40138932705a0cc7287f6c5c73 /coverity/libovr-042 | |
| parent | 5ad2275e0e50be8a4e9f506fb3f8dab2b02d0420 (diff) | |
logic, cv: fix header namespace pollution
We've had "using namespace options;" in headers for a while now.
Diffstat (limited to 'coverity/libovr-042')
0 files changed, 0 insertions, 0 deletions