diff options
| author | Mario Forzanini <mario.forzanini@studenti.unimi.it> | 2022-07-03 21:04:50 +0200 |
|---|---|---|
| committer | Mario Forzanini <mario.forzanini@studenti.unimi.it> | 2022-07-03 21:04:50 +0200 |
| commit | d7652828e416a1030b85dab9ab573f68ce5362bb (patch) | |
| tree | d010353d1365df8cf538f9338e1b1ccfb151aa2c /util.c?id=d7652828e416a1030b85dab9ab573f68ce5362bb | |
| parent | 31e9ae0a3e58c625c034132416d779ccbdde29a9 (diff) | |
s/Derive/Dwrt/g
Diffstat (limited to 'util.c?id=d7652828e416a1030b85dab9ab573f68ce5362bb')
0 files changed, 0 insertions, 0 deletions