diff options
author | Maria Matejka <mq@ucw.cz> | 2019-01-29 14:22:55 +0100 |
---|---|---|
committer | Maria Matejka <mq@ucw.cz> | 2019-01-31 15:05:40 +0100 |
commit | e85e37d91d0c5fca6cb7a3ea80fac582074c389d (patch) | |
tree | 23cf8fa32c1efde315d8be0be7a4390f66cf3313 /Makefile.in | |
parent | 7411b694c3ca9db4947f577f826b622ff23e570d (diff) |
Perf: Prune the table after every loop to have clean state.
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions