diff options
| author | Maxime Dénès | 2017-07-26 15:22:15 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-07-26 15:22:15 +0200 |
| commit | cacb8a5c32eddf7d24364e0de60f5fbe652fab6c (patch) | |
| tree | f1cac6e4f3264c4a97c215e4748bd6765bd77a57 /kernel | |
| parent | ff28f641f7eef85b501b3f0f875ffc8d31158376 (diff) | |
| parent | c65c479c68b76c1c9856d02bf6687544843af808 (diff) | |
Merge PR #886: Fixing what was presumably a typo in the naming conventions file
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions