diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-08-03 18:26:01 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-03 18:26:01 +0200 |
commit | 075bf6e5565aff9fba0ea02f3333c82adf4dccee (patch) | |
tree | 1ce61fe78b6b2c4498592281a1a2488b043e7e5c /doc/manual/src/introduction.md | |
parent | 7d1ccd9105e418ac6948685244b3b4e0cb0cd368 (diff) | |
parent | ccbd906c86cb10e5c7b49753e057fec4ab46233c (diff) |
Merge pull request #6861 from edolstra/fix-count-calls
Fix NIX_COUNT_CALLS=1
Diffstat (limited to 'doc/manual/src/introduction.md')
0 files changed, 0 insertions, 0 deletions