diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-11-22 14:41:15 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-22 14:41:15 +0100 |
commit | 05d0892443bbe92a6b6a1ee7b1d37ea05782d918 (patch) | |
tree | 8be26422991a1c2bbd2237fa7dffbd8981825718 /doc/manual/redirects.js | |
parent | 96a9511a9c424f0986d6c01bef63afff672fa986 (diff) | |
parent | f0baa5c1283359a413ca3a254527587c86b2f097 (diff) |
Merge pull request #7328 from edolstra/nix-build-stats
nix build --json: Include build statistics
Diffstat (limited to 'doc/manual/redirects.js')
0 files changed, 0 insertions, 0 deletions