diff options
author | Mario Forzanini <mario.forzanini@studenti.unimi.it> | 2022-06-27 19:31:56 +0200 |
---|---|---|
committer | Mario Forzanini <mario.forzanini@studenti.unimi.it> | 2022-06-27 19:31:56 +0200 |
commit | 7eab6aa5cc5ebe6fa59b0577497f184001615e57 (patch) | |
tree | eaf939e6c465ed8d3368a0c448f869aef20e1ff6 /util.c?id=7eab6aa5cc5ebe6fa59b0577497f184001615e57 | |
parent | e8604763f8abb7e5efcc67c9516df009d6a70b77 (diff) |
Remove useless cleanup function
Diffstat (limited to 'util.c?id=7eab6aa5cc5ebe6fa59b0577497f184001615e57')
0 files changed, 0 insertions, 0 deletions