diff options
| author | Maxime Dénès | 2018-09-10 13:54:56 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-09-10 13:54:56 +0200 |
| commit | 2413031f6a5eeb0b49545a0b8ae312a99cbb5659 (patch) | |
| tree | 0cb372a509ac064a7c472285cdf8efb08cd6c7bb /dev/include | |
| parent | 2652465711423b0b332cfbb5f74145c48b53be1e (diff) | |
| parent | 9e7977e9c61ecbd64c1debaaefdd60ab2f362e5e (diff) | |
Merge PR #8430: Move to a team of code owners for the Nix files.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions