diff options
| author | Pierre-Marie Pédrot | 2014-02-27 15:35:51 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-03-03 12:09:02 +0100 |
| commit | f739136dc8936c0f1068f7c2d506a228bc1b5ae0 (patch) | |
| tree | d6e9c0bf750d0926f094e35bd92a3457c7f43248 /plugins | |
| parent | 7b7187ab30c945f7929299833a92ee01737519a6 (diff) | |
Kernel names are implemented using records.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions