diff options
| author | Pierre-Marie Pédrot | 2014-03-18 18:45:48 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-03-18 19:42:07 +0100 |
| commit | 410c088d3cb9f0e3fdb5c01cb036b95aae84a6c2 (patch) | |
| tree | 1ee5cde846c526f4ee5bcbbe78345939de65ae96 /kernel | |
| parent | aefba30e028bf1774f01f95a69a6a75b80206a5f (diff) | |
Fixing checker with respect to new kernel name structure and hashmaps.
Some wrong generic equalities and hashes were removed too.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions