diff options
author | Michael Vogt <mvo@debian.org> | 2014-08-02 05:37:43 +0200 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2014-08-02 05:37:43 +0200 |
commit | 63b7249e6930c1bcb69bac32f10108119eeacc2a (patch) | |
tree | 0d8221c0569a66aa5e22d9d3dfb6301749aee158 /cmdline | |
parent | e84d3803ed3bdd55e20e3720b375769330966fa0 (diff) |
add ims check verify
Diffstat (limited to 'cmdline')
0 files changed, 0 insertions, 0 deletions