diff options
author | Michael Vogt <mvo@debian.org> | 2013-07-25 20:22:43 +0200 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2013-07-25 20:22:43 +0200 |
commit | fe0036dd7e3bbd808fa526e2e142fdb89105caae (patch) | |
tree | a31ad68247f53bd5e4b2f68e87430ad93e04ebed /COPYING.GPL | |
parent | c104200045ef19f5ee061c4a00b468482ac65dc4 (diff) |
rework the code in cdromutl.cc to make coverity (more) happy
Diffstat (limited to 'COPYING.GPL')
0 files changed, 0 insertions, 0 deletions