diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-09-05 22:27:38 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-09-05 22:27:38 +0200 |
commit | 6d763a8cf765c8acdd6673ae2f7be81cbdd3586c (patch) | |
tree | 8761de6531731dd7a15f805bb46994fd0685a763 /src/pinocchio.h | |
parent | f355207fb06a0d4f4d1f29b77f9e816144dcea04 (diff) |
Specify nodefault
Diffstat (limited to 'src/pinocchio.h')
0 files changed, 0 insertions, 0 deletions