diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-10 13:30:45 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-10 13:30:48 +0100 |
| commit | f614f155063e43733c5e4c2572b4ea67b3bcc661 (patch) | |
| tree | e0540d5a72affb1d0f3b2f444b8887a4f3d66c0c /misc/dist/linux | |
| parent | ba0a4a942e9997f9238c4f6a0fb141702316788e (diff) | |
doc: Misc formatting fixes
Diffstat (limited to 'misc/dist/linux')
0 files changed, 0 insertions, 0 deletions