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/figures | |
| 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/figures')
0 files changed, 0 insertions, 0 deletions