diff options
| author | Théo Zimmermann | 2020-02-13 08:52:34 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-02-13 08:52:34 +0100 |
| commit | 36a93a58446d487a136d999649d66ca7d4b09f70 (patch) | |
| tree | 2b0084e727fb1d5985174fa3ab2a745cda5ca70b /kernel | |
| parent | e9692a8ee7e9e71f64b93879bad6fc18c40d063f (diff) | |
| parent | bfa812b40138469ebe5bc3e306da79aa6b050e48 (diff) | |
Merge PR #11577: [nix] Fix building of the documentation
Reviewed-by: Zimmi48
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions